Fugao Zhang, Zining Cao. The Formal Transformation of AADL Based on Z-CoIA. In Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino, editors, Cloud Computing and Security - Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II. Volume 10603 of Lecture Notes in Computer Science, pages 816-822, Springer, 2017. [doi]
@inproceedings{ZhangC17-26,
title = {The Formal Transformation of AADL Based on Z-CoIA},
author = {Fugao Zhang and Zining Cao},
year = {2017},
doi = {10.1007/978-3-319-68542-7_72},
url = {https://doi.org/10.1007/978-3-319-68542-7_72},
researchr = {https://researchr.org/publication/ZhangC17-26},
cites = {0},
citedby = {0},
pages = {816-822},
booktitle = {Cloud Computing and Security - Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II},
editor = {Xingming Sun and Han-Chieh Chao and Xingang You and Elisa Bertino},
volume = {10603},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-68542-7},
}