( en | de | ru )

 

Disambiguierung von "Bhiri, Mohamed Tahar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.

, , , und . ISDA, Volume 736 von Advances in Intelligent Systems and Computing, Seite 10-20. Springer, (2017)

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.

Mohamed-Tahar Dridi

Sami Bhiri

Eliza Miki Tahara

Tahar Benhidjeb

Tahar Zrilli

 

Weitere Publikationen von Autoren mit dem selben Namen

Behavioral Verification of UML2.0/PoSM Components., , und . SoMeT, Volume 286 von Frontiers in Artificial Intelligence and Applications, Seite 246-257. IOS Press, (2016)From an abstract specification in event-b toward an UML/OCL model., und . FormaliSE, Seite 17-23. ACM, (2014)Modélisation événementielle pour la construction de diagrammes de classes., , und . Ingénierie des Systèmes d Inf., 13 (3): 131-155 (2008)Wr2Fdr Tool Maintenance for Models Checking., , , und . SoMeT, Volume 297 von Frontiers in Artificial Intelligence and Applications, Seite 425-440. IOS Press, (2017)MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE, , und . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (März 2018)Formal Event-B Modeling of the MICONIC Application., und . SoMeT, Volume 337 von Frontiers in Artificial Intelligence and Applications, Seite 197-210. IOS Press, (2021)Automatic Refinement for Event-B through Annotated Patterns., , , und . PDP, Seite 287-290. IEEE Computer Society, (2017)Behavioral Verification of Service Component Architecture., , , , , und . WETICE, Seite 239-241. IEEE Computer Society, (2017)Checking Non-functional Properties of UML2.0 Components Assembly., , und . WETICE, Seite 278-283. IEEE Computer Society, (2013)Towards a Practical Approach to Check Service Component Architecture., , , und . SKG, Seite 65-72. IEEE Computer Society, (2015)