FIT-Conference Hub
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
پوسته
فارسی
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
اعلانها
علامتگذاری همه به عنوان خواندهشده
هیچ اعلان جدیدی وجود ندارد.
مشاهده همه
کلمه کلیدی
شروع:
پایان:
نوع
مکان
جستجو
پاک کردن
پنهان کردن گزینههای جستجوی پیشرفته
?
تاریخ ارسال مقاله:
رتبه:
همه رتبهها
A*
A
B
C
Unranked
Other
منبع:
همه منابع
ناشر:
موضوعات:
Automated analysis
×
حوزه پژوهشی:
نتایج کنفرانسها (1)
مرتبسازی بر اساس:
تاریخ ارسال مقاله
Conference Date
رتبه
نوع
Default
Relevant
Descending
Ascending
رویدادها در هر صفحه:
4
8
12
20
50
100
Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)
Rank: C
Offline
Liverpool, UK
Sep 2, 2026
Automated analysis
Verification and validation methods
Formal specification
+7 بیشتر
