Publication

[ChenHTWYZZZ17] MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems Chen, M.; Han, X.; Tang, T.; Wang, S.; Yang, M.; Zhan, N.; Zhao, H. and Zou, L. In Provably Correct Systems, pages 38-57, NASA Monographs in Systems and Software Engineering , 2017.
Downloads: bib