AADL+: a simulation-based methodology for cyber-physical systems

Jing Liu 0012, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He. AADL+: a simulation-based methodology for cyber-physical systems. Frontiers of Computer Science in China, 13(3):516-538, 2019. [doi]

Abstract

Abstract is missing.