Zhexu Liu, Zhen Zhao. Modeling and Schedulability Verfication of IMA Partitioning Based on AADL. In 10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017, Volume 1. pages 417-420, IEEE, 2017. [doi]
@inproceedings{LiuZ17-55, title = {Modeling and Schedulability Verfication of IMA Partitioning Based on AADL}, author = {Zhexu Liu and Zhen Zhao}, year = {2017}, doi = {10.1109/ISCID.2017.97}, url = {https://doi.org/10.1109/ISCID.2017.97}, researchr = {https://researchr.org/publication/LiuZ17-55}, cites = {0}, citedby = {0}, pages = {417-420}, booktitle = {10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017, Volume 1}, publisher = {IEEE}, isbn = {978-1-5386-3675-6}, }