%0 Journal Article
%T Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
%A Wang, Lisong
%A Chen, Miaofang
%A Hu, Jun
%J International Journal of Aerospace Engineering
%V 2018
%P 22
%@ 1687-5966
%D 2018-04-22
%I Hindawi
%~ DeepDyve