Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin. Automatic Conversion and Verification System Based on AADL Scheduling Model. In 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016. pages 89-92, IEEE, 2016. [doi]
Abstract is missing.