( en | de | ru )

 

Disambiguation of "Tahar, Bhiri Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE

, , and . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (March 2018)
DOI: 10.5121/ijwsc.2018.9101

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohamed-Tahar Dridi

Sami Bhiri

Eliza Miki Tahara

Tahar Zrilli

Tahar Benhidjeb

 

Other publications of authors with the same name

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