Xiaoxiang Zhai

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Classical First Order Logic

Verification Method

Top Venues

Publications

Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. SEKE (2012)
Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. SEKE (2012)
Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li
A Unified Modeling and Verifying Framework for Cyber Physical Systems. QSIC (2012)
Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji
HybridUML Based Verification of CPS Using Differential Dynamic Logic. SEKE (2012)