Toggle navigation
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
AVIAN
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
AVIAN
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
المزيد
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
AVIAN
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
تقديم
كلمة المدير
الهيكل التنظيمي
الأنشطة
أطروحات الدكتوراه
المنشورات
البرامج
المواد المدرّسة
الأحداث
فِرق البحث
SCAL
CFSC
MFGL
AVIAN
الأعضاء السابقين
الباحثين
الرّوابط
كلية التكنولوجيات الحديثة
جامعة قسنطينة 2
نظام SNDL
وزارة التعليم العالي
معلومات عملية
الإتصال
الصفحة الرئيسية
البرامج
×
Close
--- الفريق ---
SCAL
CFSC
MFGL
AVIAN
البرامج
بحث
نتائج البحث :
الفريق =
CFSC
MP-SAVE
MP-SAVE: Multi-Paradigm Specification And Verification Environment
الفريق
CFSC
الكلمات المفتاحية :
modèles formels
FOCOVE
Formal Concurrency Verification Environment
الفريق
CFSC
الكلمات المفتاحية :
Specification, Formal verification, LOTOS, CTL, reactive systems
«
1
(current)
»
