Modeling and Verifying Storm Using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hongyan Zhao' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Yucheng Fang' in GoogleThis author has not been identified. Look up 'Lili Xiao' in Google

runs on WebDSL