Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui. Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. In Joaquim Filipe, Michal Smialek, Alexander Brodsky 0001, Slimane Hammoudi, editors, Proceedings of the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, Prague, Czech Republic, May 5-7, 2020, Volume 1. pages 261-268, SCITEPRESS, 2020. [doi]
Abstract is missing.