![](/img/cover-not-exists.png)
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Wang, Lisong, Chen, Miaofang, Hu, JunVolume:
2018
Year:
2018
Language:
english
Journal:
International Journal of Aerospace Engineering
DOI:
10.1155/2018/7019838
File:
PDF, 3.09 MB
english, 2018