Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali. C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. Journal of Systems Architecture, 118:102202, 2021. [doi]
@article{YangQZHBF21, title = {C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software}, author = {Zhibin Yang and Zhikai Qiu and Yong Zhou and Zhiqiu Huang and Jean-Paul Bodeveix and Mamoun Filali}, year = {2021}, doi = {10.1016/j.sysarc.2021.102202}, url = {https://doi.org/10.1016/j.sysarc.2021.102202}, researchr = {https://researchr.org/publication/YangQZHBF21}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {118}, pages = {102202}, }