FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
methods and tools for verification and validation
×
مجال البحث:
نتائج المؤتمرات (1)
فرز حسب:
تاريخ التقديم
Conference Date
الترتيب
النوع
Default
Relevant
Descending
Ascending
فعاليات لكل صفحة:
4
8
12
20
50
100
International Workshop on Formal Methods for interactive Systems (FMIS)
Rank: C
Offline
Ottawa, Ontario, Canada
Apr 27, 2025 - Apr 28, 2025
requirements formalization and formal specification
approaches
methods and tools for verification and validation
+14 المزيد
