Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Ammar Boucherit، Laura M. Castro، Abdallah Khababa، Osman Hasan
عمار بوشريط
Ammar Boucheritأستاذ محاضر قسم أ
8
المُخرَجات
16
الاستشهادات
2
مؤشّر h
قيّم هذا الباحثلا تقييم بعد
يظهر المعدّل بعد 3 تقييمات.