Xiaoxiang Zhai

According to our database, Xiaoxiang Zhai authored at least 4 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

HybridUML Based Verification of CPS Using Differential Dynamic Logic.

Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

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

Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

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

Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A Unified Modeling and Verifying Framework for Cyber Physical Systems.

Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li

Proceedings of the 2012 12th International Conference on Quality Software, 2012