A Behavior Annex For AADL Using The DEVS Formalism

Ehsan M. Ahmad, Hessam S. Sarjoughian. A Behavior Annex For AADL Using The DEVS Formalism. In 2019 Spring Simulation Conference, SpringSim 2019, Tucson, AZ, USA, April 29 - May 2, 2019. pages 1-12, IEEE, 2019. [doi]

Abstract

Abstract is missing.