Xiaoxiang Zhai

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability

Bixin Li, Min Zhu, Jiakai Li, 2012, SEKE.

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic

Bixin Li, Min Zhu, Jiakai Li, 2012, SEKE.

HybridUML Based Verification of CPS Using Differential Dynamic Logic

Bixin Li, Min Zhu, Jiakai Li, 2012, SEKE.

A Unified Modeling and Verifying Framework for Cyber Physical Systems

Bixin Li, Qiaoqiao Chen, Shunhui Ji, 2012, 2012 12th International Conference on Quality Software.