Machine-Assisted Proof Support for Validation Beyond Simulink.

Chunqing Chen, Jin Song Dong, Jun Sun

Browse the full ICFEM paper archive.