acm sigbed
|
emsoft
|
participants
Liang Zou
EMSOFT 2013: 13th International Conference on Embedded Software
Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover
Liang Zou
,
Naijun Zhan
,
Shuling Wang
,
Martin Fränzle
, and
Shengchao Qin
10.1109/EMSOFT.2013.6658587
https://www.scedt.tees.ac.uk/s.qin/papers/emsoft13-final.pdf