Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu. Formal Semantics of AADL Models with Machine-Readable CSP. In Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik, editors, 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. pages 565-571, IEEE, 2012. [doi]
Abstract is missing.