( 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.

Mourad Alaya

Mourad Chouikha

Mourad Moalla

Mourad Nachaoui

Mourad Kadi

 

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

Towards a Formal Verification Approach for Cloud Software Architecture., , , , и . SoMeT, том 297 из Frontiers in Artificial Intelligence and Applications, стр. 490-502. 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)Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment., , , , , и . HIS, том 1179 из Advances in Intelligent Systems and Computing, стр. 429-440. Springer, (2019)Behavioral Verification of UML2.0 Software Architecture., , и . SKG, стр. 115-120. IEEE Computer Society, (2016)Behavioral Verification of UML2.0/PoSM Components., , и . SoMeT, том 286 из Frontiers in Artificial Intelligence and Applications, стр. 246-257. IOS Press, (2016)Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data., , и . DaWaK, том 13428 из Lecture Notes in Computer Science, стр. 189-201. Springer, (2022)Cohesive Subgraph Models for Overlapping Community Search over Networks., , , и . SoMeT, том 327 из Frontiers in Artificial Intelligence and Applications, стр. 282-293. IOS Press, (2020)Wr2Fdr Tool Maintenance for Models Checking., , , и . SoMeT, том 297 из Frontiers in Artificial Intelligence and Applications, стр. 425-440. IOS Press, (2017)A contractual approach for the verification of UML2.0 software architectures., , , и . Int. J. Comput. Appl. Technol., 57 (1): 45-58 (2018)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)