Table of Contents Author Guidelines Submit a Manuscript
Research Article

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

Received 25 August 2017; Revised 18 January 2018; Accepted 24 January 2018

Academic Editor: Linda L. Vahala