Journals
Publish with us
Publishing partnerships
About us
Blog
International Journal of Aerospace Engineering
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
International Journal of Aerospace Engineering
/
2018
/
Article
/
Fig 1
/
Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Figure 1
IMA architecture of an ARINC653 system.
