![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 8th Joint International Information Technology and Artificial Intelligence Conference (ITAIC) - Chongqing, China (2019.5.24-2019.5.26)] 2019 IEEE 8th Joint International Information Technology and Artificial Intelligence Conference (ITAIC) - Verification Method of Airborne Software for Aviation Safety based on Model
Yu, LI, Kang, SUN, Xin, LIYear:
2019
Language:
english
DOI:
10.1109/itaic.2019.8785757
File:
PDF, 1.57 MB
english, 2019