Journals
Publish with us
Publishing partnerships
About us
Blog

Scientific Programming

For authors For reviewers For editors Table of Contents

Scientific Programming/
2022/
Article/
Fig 34 /

Research Article

A Comprehensive Formalization of AADL with Behavior Annex

Figure 34

AADL example of the ARINC653-based system: a typical thread with Behavior annex.

About us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy