Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System

Bibliographische Detailangaben

Veröffentlicht in:	ICEIS (Veranstaltung : 22. : 2020 : Online) ICEIS 2020 ; Volume 1
1. Verfasser:	Jabbar, Rateb (VerfasserIn)
Weitere Verfasser:	Krichen, Moez (VerfasserIn), Fetais, Noora (VerfasserIn), Barkaoui, Kamel (VerfasserIn)
Pages:	2020
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!