مؤتمر
Parallel Verification of Software Architecture Design
العنوان: | Parallel Verification of Software Architecture Design |
---|---|
المؤلفون: | Chondamrongkul, Nacha, Sun, Jing, Wei, Bingyang, Warren, Ian |
المصدر: | 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) HASE High Assurance Systems Engineering (HASE), 2019 IEEE 19th International Symposium on. :50-57 Jan, 2019 |
Relation: | 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781538685402 |
---|---|
تدمد: | 26407507 |
DOI: | 10.1109/HASE.2019.00018 |