Login / Signup
Nadia Hoggas
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Automated Verification
Reactive Systems
Alternating Time Temporal Logic
Model Checking
Top Venues
Comput. Informatics
</>
Publications
</>
Toufik Messaoud Maarouk
,
Mohammed El Habib Souidi
,
Nadia Hoggas
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS.
Comput. Informatics
40 (5) (2021)