مؤتمر
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 |
Full Text Finder | ردمك: | 9781538619490 9781538619483 |
|---|---|
| DOI: | 10.1109/ICEngTechnol.2017.8308207 |