A verification system for interval-based specification languages with its application to simulink

بواسطة CHEN CHUNQING
منشور في 2010

A formal framework for modeling and validating Simulink diagrams

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2009

Machine-assisted proof support for validation beyond Simulink

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2007

A verification system for timed interval calculus

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2008

Integrating specification and programs for system modeling and verification

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing
منشور في 2009

A verification system for interval-based specification languages

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun, MARTIN, Andrew P.
منشور في 2010

Formal modeling and validation of Stateflow diagrams

بواسطة CHEN, Chunqing, SUN, Jun, LIU, Yang, DONG, Jin Song, ZHENG, Manchun
منشور في 2012