Tingting Wu, Yunwei Dong, Ning Hu. Formal Specification and Transformation Method of System Requirements from B Method to AADL Model. In Xingang Liu, Didier El Baz, Ching-Hsien Hsu, Kai Kang, Weifeng Chen, editors, 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Chengdu, China, December 19-21, 2014. pages 1621-1628, IEEE, 2014. [doi]
Abstract is missing.