Formal Modelling, Analysis and Verification of Hybrid Systems.
Naijun Zhan, Shuling Wang, Hengjun Zhao
VenueCICTAC
Year2013
ProceedingsICTAC Training School on Software Engineering
DBLP recordconf/ictac/ZhanWZ13 ↗
Browse the full ICTAC paper archive.