Cangzhou Yuan, Hangyu He, Panpan Zhan, Tao Chen. A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML. In Qilian Liang, Wei Wang 0180, Xin Liu 0009, Zhenyu Na, Min Jia, Baoju Zhang, editors, Communications, Signal Processing, and Systems - Proceedings of the 8th International Conference on Communications, Signal Processing, and Systems, CSPS 2019, Urumqi, China, 20-22 July 2019. Volume 571 of Lecture Notes in Electrical Engineering, pages 2562-2570, Springer, 2019. [doi]
Abstract is missing.