Visual Language for Specifying Verification Properties-Reference-Cited by-同舟云学术

Visual Language for Specifying Verification Properties

Published:2019-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th International Conference on Big Data and Internet of Things
language:
Short-container-title:

Author:

El hichami Outman¹,Naoum Mohamed²,Al Achhab Mohammed³,El Mohajir Badr Eddine⁴,Lazaar Mohamed⁵

Affiliation:

1. Abdelmalek Essaadi University, Higher Normal School, Tetouan, Morocco

2. Abulcasis International University of Health Sciences, Rabat, Morocco

3. Abdelmalek Essaadi University, National school of applied sciences Tetouan, Morocco

4. Abdelmalek Essaadi University, Tetouan, Morocco

5. Ensias, Mohammed V University Rabat, Morocco

Publisher

ACM

Reference37 articles.

1. On efficient processing of BPMN-Q queries

2. Mario Bravetti and Tevfik Bultan (Eds.) Springer 146--160. http://dblp.uni-trier.de/db/conf/wsfm/wsfm Mario Bravetti and Tevfik Bultan (Eds.) 6551 David Raymond Christiansen Marco Carbone Thomas T. Hildebrandt 2010. Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.. In WS-FM (Lecture Notes in Computer Science) 2010

3. Workshop. Springer-Verlag London UK UK 52--71. http://dl.acm.org/citation.cfm?id=648063.747438 Workshop. Springer-Verlag Edmund M. Clarke E. Allen Emerson 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs

4. Verifying soundness of business processes: A decision process Petri nets approach

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development;Applied Sciences;2022-03-17