A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit, Kamel Barkaoui, Mohammed L. Lamouri
Volume 1، Pages 1-62023Other Closed accessSeveral sources 1
Ammar Boucherit
عمار بوشريطAssociate professor (A)
8
Research output
16
Citations
2
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
2023
2021
An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets
Ammar Boucherit, Kamel Barkaoui, Osman Hasan
2021Other Closed access 2
Development of Critical Systems with UML/OCL and FoCaLiZe
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro, Osman Hasan, Ammar Boucherit, Abdallah Khababa
International Journal of Critical Computer-Based SystemsVolume 10، (2)، Pages 952021Article Closed access
2020
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan