Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao. Modeling and Verifying Storm Using CSP. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 192-199, IEEE, 2019. [doi]
@inproceedings{ZhaoZFX19,
title = {Modeling and Verifying Storm Using CSP},
author = {Hongyan Zhao and Huibiao Zhu and Yucheng Fang and Lili Xiao},
year = {2019},
doi = {10.1109/HASE.2019.00037},
url = {https://doi.org/10.1109/HASE.2019.00037},
researchr = {https://researchr.org/publication/ZhaoZFX19},
cites = {0},
citedby = {0},
pages = {192-199},
booktitle = {19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019},
editor = {Dongjin Yu and Vu Nguyen 0003 and Congfeng Jiang},
publisher = {IEEE},
isbn = {978-1-5386-8540-2},
}