Toggle navigation
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
OSSIG
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
OSSIG
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
المزيد
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
OSSIG
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
OSSIG
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
الصفحة الرئيسية
الأطروحات
أطروحة د. رياض مطمط
المؤلف
د. رياض مطمط
معلومات
مدير الأطروحة :
أ. جمال الدين سعيدوني
سنة البداية :
نهابة 2020
الجامعة :
Université Constantine 2
تاريخ المناقشة
تاريخ المناقشة :
1 October 2020
أعضاء لجنة المناقشة :
Allaoua Chaoui
Djamel Eddine Saidouni
Faiza Belala
El-Hilali Kerkouche
Toufik Messaoud Maarouk
نسخة الأطروحة
رابط التحميل :
these_matmat.pdf
التفاصيل
فرنسي
Fr
إنجليزي
En
عربي
ع
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel