( en | de | ru )

 

Disambiguierung von "Krichen, Moez"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System.

, , , und . ICEIS (1), Seite 261-268. SCITEPRESS, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Moez Baccouche

Ailin Moezzi

Chahir Krichen

Fatma Krichen

Moez Amous

 

Weitere Publikationen von Autoren mit dem selben Namen

Study on the Limitations of WS-BPEL Compositions Under Load Conditions., und . Comput. J., 58 (3): 385-402 (2015)State Identification.. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 35-67. Springer, (2004)Streamlining River Flood Prevention with an Integrated AIoT Framework., , , , , und . AICCSA, Seite 1-6. IEEE, (2023)Using Machine Learning for Earthquakes and Quarry Blasts Discrimination., , , und . AICCSA, Seite 1-6. IEEE, (2023)Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity., , , und . ICIoT, Seite 310-317. IEEE, (2020)Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design., , , und . VECoS, Volume 12519 von Lecture Notes in Computer Science, Seite 195-204. Springer, (2020)Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment., , , , und . J. King Saud Univ. Comput. Inf. Sci., 35 (1): 13-25 (Januar 2023)Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.. Mob. Networks Appl., 28 (2): 732-743 (April 2023)Formal Methods for the Verification of Smart Contracts: A Review., , und . SIN, Seite 1-8. IEEE, (2022)Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain., , und . ICCAD, Seite 1-6. IEEE, (2018)