Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin. Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. In 25th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2019, Tianjin, China, December 4-6, 2019. pages 844-851, IEEE, 2019. [doi]
@inproceedings{HouKZWL19,
title = {Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking},
author = {Gang Hou and Weiqiang Kong and Kuanjiu Zhou and Jie Wang and Chi Lin},
year = {2019},
doi = {10.1109/ICPADS47876.2019.00125},
url = {https://doi.org/10.1109/ICPADS47876.2019.00125},
researchr = {https://researchr.org/publication/HouKZWL19},
cites = {0},
citedby = {0},
pages = {844-851},
booktitle = {25th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2019, Tianjin, China, December 4-6, 2019},
publisher = {IEEE},
isbn = {978-1-7281-2583-1},
}