Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai. A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 239-242, Knowledge Systems Institute Graduate School, 2012.
Abstract is missing.