Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach
Publisher: Edp Sciences
E-ISSN: 2271-2097|17|issue|03026-03026
ISSN: 2271-2097
Source: ITM Web of conferences, Vol.17, Iss.issue, 2018-02, pp. : 03026-03026
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract