مؤتمر
Formal modeling of certification processes
| العنوان: | Formal modeling of certification processes |
|---|---|
| المؤلفون: | Daw, Zamira, Eyisi, Emeka, Jahangir, Ebad, Larsen, Jeanne |
| المصدر: | 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th. :1-8 Sep, 2017 |
| Relation: | 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781538603659 |
|---|---|
| تدمد: | 21557209 |
| DOI: | 10.1109/DASC.2017.8102141 |