Samra Sabeg

According to our database¹, Samra Sabeg authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A New Formal Multi-Agent Organization Based on the DD-LOTOS Language.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., November, 2024

2022

Formal Specification and Verification for Organization-based systems : A Survey.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Pattern Analysis and Intelligent Systems, 2022