مؤتمر
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 |