Zhexu Liu, Zhen Zhao. Modeling and Schedulability Verfication of IMA Partitioning Based on AADL. In 10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017, Volume 1. pages 417-420, IEEE, 2017. [doi]
Abstract is missing.