ITM Web of Conferences

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach

Zhi Xu, Deming Zhong, Weigang Li, Hao Huang and And Yigang Sun

ITM Web Conf., 17 (2018) 03026

Published online: 02 February 2018

DOI: 10.1051/itmconf/20181703026

Zhi Xu

Deming Zhong

Weigang Li

Hao Huang

And Yigang Sun

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)