MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou. MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. In Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors, Provably Correct Systems. NASA Monographs in Systems and Software Engineering, pages 39-58, Springer, 2017. [doi]

This author has not been identified. Look up 'Mingshuai Chen' in GoogleThis author has not been identified. Look up 'Xiao Han' in GoogleThis author has not been identified. Look up 'Tao Tang' in GoogleThis author has not been identified. Look up 'Shuling Wang' in GoogleThis author has not been identified. Look up 'Mengfei Yang' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in GoogleThis author has not been identified. Look up 'Hengjun Zhao' in GoogleThis author has not been identified. Look up 'Liang Zou' in Google

runs on WebDSL