( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE

, , и . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (марта 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.

Taoufik Mbarek

Samir Sakka

Konstantin Sakkas

Taoufik Hamdoch

Taoufik Naamoun

 

Другие публикации лиц с тем же именем

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures., , , и . PDCAT, том 931 из Communications in Computer and Information Science, стр. 381-389. Springer, (2018)Behavioral Verification of UML2.0/PoSM Components., , и . SoMeT, том 286 из Frontiers in Artificial Intelligence and Applications, стр. 246-257. IOS Press, (2016)Wr2Fdr Tool Maintenance for Models Checking., , , и . SoMeT, том 297 из Frontiers in Artificial Intelligence and Applications, стр. 425-440. IOS Press, (2017)UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components., , , и . ISDA, том 736 из Advances in Intelligent Systems and Computing, стр. 10-20. Springer, (2017)Behavioral Verification of UML2.0 Software Architecture., , и . SKG, стр. 115-120. IEEE Computer Society, (2016)Towards a formal approach for the verification of SCA/BPEL software architectures., , , и . IISA, стр. 1-6. IEEE, (2017)Towards a Formal Verification Approach for Service Component Architecture., , , , , и . SoMeT, том 297 из Frontiers in Artificial Intelligence and Applications, стр. 466-479. IOS Press, (2017)Automatic Processing of Planning Problems: Application on Representative Case Studies., , , и . ICCCI (CCIS Volume), том 1653 из Communications in Computer and Information Science, стр. 436-445. Springer, (2022)UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures., , , и . WETICE, стр. 192-197. IEEE Computer Society, (2016)MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE, , и . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (марта 2018)