Get started
Author

Samra Sabeg

OpenAlex ID: A5014093488
Formal Specification and Verification for Organization-based systems : A Survey
2022 · Samra Sabeg, Toufik Messaoud Maarouk, et al. · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · 2
Formalization of BPMN Gateways using the DD-LOTOS Formal Language
2023 · Toufik Messaoud Maarouk, Mohammed El Habib Souidi, et al. · Journal of Communications Software and Systems
PDF
A Trace-Based System for the Categorization of Actors in a Social Network
2022 · Samra Sabeg, Brahim Belgroun · Lecture notes in networks and systems
Works count: 3
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type