Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE.

Autor:	Wang, Lisong1, Chen, Miaofang1, Hu, Jun1
Zdroj:	International Journal of Aerospace Engineering. 4/22/2018, p1-22. 22p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.