Mengfei Yang

Publications with FICTION

Book Chapters

1. Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou (2017). MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. ProCoS. PDF Cite Code DOI

Conference Papers

1. Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan (2017). A Two-Way Path between Formal and Informal Design of Embedded Systems. UTP 2016. PDF Cite Code Slides DOI