AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics.

Dajiang Suo, Jinxia An, Jihong Zhu

Browse the full APSEC paper archive.