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

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

Browse the full SEKE paper archive.