ARINC653 Process inside a Partition as AADL Thread inside an AADL Process (CONTINUED)
标准号：AS5506/2
标准名称： SAE Architecture Analysis and Design Language (AADL) Annex Volume 2:
Annex B: Data Modeling Annex
Annex D: Behavior Model Annex
Annex F: ARINC653 Annex
|