Simulink timed models for program verification

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTheories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Pages82-99
Volume8051 LNCS
DOIs
Publication statusPublished - 2013

Cite this