FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
and abstraction/refinement techniques for analysis and verification
×
مجال البحث:
نتائج المؤتمرات (1)
فرز حسب:
تاريخ التقديم
Conference Date
الترتيب
النوع
Default
Relevant
Descending
Ascending
فعاليات لكل صفحة:
4
8
12
20
50
100
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Rank: B
Offline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
algorithmic
compositional
and abstraction/refinement techniques for analysis and verification
+23 المزيد
