Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji
HybridUML Based Verification of CPS Using Differential Dynamic Logic
SEKE, 2012.
@inproceedings{SEKE-2012-ZhuLLCZJ,
author = "Min Zhu and Bixin Li and Jiakai Li and Qiaoqiao Chen and Xiaoxiang Zhai and Shunhui Ji",
booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-31-4",
pages = "235--238",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{HybridUML Based Verification of CPS Using Differential Dynamic Logic}",
year = 2012,
}