( en | de | ru )

 

Disambiguierung von "Krichen, Moez"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata.

, und . ENASE, Seite 570-577. SciTePress, (2019)

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

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)An Integrated Artificial Intelligence of Things Environment for River Flood Prevention., , , , , und . Sensors, 22 (23): 9485 (2022)Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network., , , und . Sensors, 23 (14): 6422 (Juli 2023)DHPV: a distributed algorithm for large-scale graph partitioning., , , , und . J. Big Data, 7 (1): 1-25 (2020)Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.. Mob. Networks Appl., 28 (2): 732-743 (April 2023)A Game Approach to Determinize Timed Automata., , , und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 245-259. Springer, (2011)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)Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.. ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 124-133. Springer, (2019)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)