Login / Signup
Samra Sabeg
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Model Checker
Specification Languages
Formal Specification
Grid Workflow
Top Venues
PAIS
</>
Publications
</>
Samra Sabeg
,
Toufik Messaoud Maarouk
,
Mohammed El Habib Souidi
Formal Specification and Verification for Organization-based systems : A Survey.
PAIS
(2022)