Journals
Publish with us
Publishing partnerships
About us
Blog

International Journal of Aerospace Engineering

For authors For reviewers For editors Table of Contents

International Journal of Aerospace Engineering/
2018/
Article/
Fig 23 /

Research Article

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

Figure 23

A MARTE model for WAW system.

About Us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers
Partnerships

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy

Modern slavery statement

Cookie Preferences