Author:
Maarouk Toufik Messaoud,Souidi Mohammed El Habib,Hoggas Nadia
Publisher
Central Library of the Slovak Academy of Sciences
Subject
General Earth and Planetary Sciences,General Environmental Science
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalization of BPMN Gateways using the DD-LOTOS Formal Language;Journal of Communications Software and Systems;2023
2. Formal Specification and Verification for Organization-based systems : A Survey;2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS);2022-10-12
3. Debugging of BPMN Processes Using Coloring Techniques;Formal Aspects of Component Software;2022