Ying Zhou, Xufang Gong, Jiakai Li, Bixin Li. Verifying CPS for Self-Adaptability. In 17th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2018, Singapore, Singapore, June 6-8, 2018. pages 166-172, IEEE Computer Society, 2018. [doi]
Abstract is missing.