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

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract