Qiaoqiao Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2012–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SEKE | A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. | Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai |
| 2012 | SEKE | Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. | Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji |
| 2012 | SEKE | HybridUML Based Verification of CPS Using Differential Dynamic Logic. | Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji |