Composition of AADL Components by Transformation to Interface Automata

Jiangwei Li, Jizhou Zhao, Qingqing Sun, Xiaopu Huang, Yan Zhang, Tian Zhang 0001. Composition of AADL Components by Transformation to Interface Automata. In Yuyu Yuan, Xu Wu, Yueming Lu, editors, Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers. Volume 320 of Communications in Computer and Information Science, pages 522-529, Springer, 2012. [doi]

@inproceedings{LiZSHZ012,
  title = {Composition of AADL Components by Transformation to Interface Automata},
  author = {Jiangwei Li and Jizhou Zhao and Qingqing Sun and Xiaopu Huang and Yan Zhang and Tian Zhang 0001},
  year = {2012},
  doi = {10.1007/978-3-642-35795-4_66},
  url = {https://doi.org/10.1007/978-3-642-35795-4_66},
  researchr = {https://researchr.org/publication/LiZSHZ012},
  cites = {0},
  citedby = {0},
  pages = {522-529},
  booktitle = {Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers},
  editor = {Yuyu Yuan and Xu Wu and Yueming Lu},
  volume = {320},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-642-35794-7},
}