Toufik Messaoud Maarouk

Toufik Messaoud Maarouk

Université de Khenchela - Khenchela / Algeria
Others
AD Scientific Index ID: 5853671
جامعة عباس لغرور خنشلة Abbès Laghrour University of Khenchela
person_outline Toufik Messaoud Maarouk's MOST POPULAR ARTICLES
1-) DD-LOTOS: A distributed real time languageTM Maarouk, DE Saïdouni, M KhergagProceedings 2nd Annual International Conference on Advances in Distributed …, 2011102011
2-) Towards a Calculus for Distributed, Real-Time and Mobile Systems.TM Maarouk, DE Saïdouni, M KhergagJ. Softw. 7 (3), 564-574, 201292012
3-) Formal semantics and transformation of BPMN modelsTM Maarouk, E Merah, S Ghaoui, N RahabiInternational Journal of Business Process Integration and Management 9 (3 …, 201942019
4-) Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS.TM Maarouk, MEH SOUIDI Nadia HOGGASComputing & Informatics 40 (5), 202132021
5-) Interpretation of DD-LOTOS Specification by C-DATAMT Messaoud, SD Eddine, M Rafik, H HichemNew Trends in Databases and Information Systems: ADBIS 2015 Short Papers and …, 201532015