مؤتمر
Domain analysis of formal model checking tools
العنوان: | Domain analysis of formal model checking tools |
---|---|
المؤلفون: | Wedyan, Fadi, Freihat, Reema, Wedyan, Suzan, Bani-Salameh, Hani, Yousef, Hala |
المصدر: | 2017 International Conference on Engineering and Technology (ICET) Engineering and Technology (ICET), 2017 International Conference on. :1-4 Aug, 2017 |
Relation: | 2017 International Conference on Engineering and Technology (ICET) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781538619490 9781538619483 |
---|---|
DOI: | 10.1109/ICEngTechnol.2017.8308207 |