معلومات
مدير الأطروحة :
سنة البداية :
نهابة 2020
الجامعة :
Université Constantine 2
تاريخ المناقشة
تاريخ المناقشة :
1 October 2020
أعضاء لجنة المناقشة :
Allaoua Chaoui
Djamel Eddine Saidouni
Faiza Belala
El-Hilali Kerkouche
Toufik Messaoud Maarouk
نسخة الأطروحة
رابط التحميل :
التفاصيل
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel