A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit، Kamel Barkaoui، Mohammed L. Lamouri
المجلّد 1، الصفحات 1-62023أخرى وصول مغلقعدّة مصادر 1
عمار بوشريط
Ammar Boucheritأستاذ محاضر قسم أ
8
المُخرَجات
16
الاستشهادات
2
مؤشّر h
قيّم هذا الباحثلا تقييم بعد
يظهر المعدّل بعد 3 تقييمات.
2023
2021
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 Systemsالمجلّد 10، (2)، الصفحات 952021مقال وصول مغلق
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