An AADL-Based Modeling Method for ARINC653-Based Avionics Software.

Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao

Browse the full COMPSAC paper archive.