Yuting Yang, Rui Wang, Youchen Wang, Xu Miao, Bing Liu, Shan Jiang. Simulink Model Static Analysis Results based on Abstract Interpretation. In 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022. pages 605-614, IEEE, 2022. [doi]
@inproceedings{YangWWMLJ22,
title = {Simulink Model Static Analysis Results based on Abstract Interpretation},
author = {Yuting Yang and Rui Wang and Youchen Wang and Xu Miao and Bing Liu and Shan Jiang},
year = {2022},
doi = {10.1109/DSA56465.2022.00087},
url = {https://doi.org/10.1109/DSA56465.2022.00087},
researchr = {https://researchr.org/publication/YangWWMLJ22},
cites = {0},
citedby = {0},
pages = {605-614},
booktitle = {9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022},
publisher = {IEEE},
isbn = {978-1-6654-8877-8},
}