How notations are developed : a proposed notational lifecycle

von Green, T. R. G.
Veröffentlicht in International Conference on Product Lifecycle Management (12. : 2015 : Doha) Product lifecycle management in the era of internet of things (2016)

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

von Jabbar, Rateb
Veröffentlicht in ICEIS (Veranstaltung : 22. : 2020 : Online) ICEIS 2020 ; Volume 1 (2020)

A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication

von Jabbar, Rateb
Veröffentlicht in ENASE (15. : 2020 : Online) ENASE 2020 (2020)