Modeling and Verifying Spark on YARN Using Process Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiaqi Yin, Huibiao Zhu, Yuan-fei, Yucheng Fang. Modeling and Verifying Spark on YARN Using Process Algebra. 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 208-215, IEEE, 2019. [doi]

This author has not been identified. Look up 'Jiaqi Yin' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Yuan-fei' in GoogleThis author has not been identified. Look up 'Yucheng Fang' in Google

runs on WebDSL