Research Article

A Comprehensive Formalization of AADL with Behavior Annex

Figure 31

The process execution Load semantic.