الأطروحة : Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel

المؤلف

معلومات

مدير الأطروحة :

أ. جمال الدين سعيدوني

سنة البداية :

نهابة 2020

الجامعة :

Université Constantine 2

تاريخ المناقشة

تاريخ المناقشة :

1 October 2020

أعضاء لجنة المناقشة :

Allaoua Chaoui
Djamel Eddine Saidouni
Faiza Belala
El-Hilali Kerkouche
Toufik Messaoud Maarouk

نسخة الأطروحة

رابط التحميل :

these_matmat.pdf

التفاصيل

Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel