Lingmin Wang, Weifeng Xu, Liu Shufen, Bao Tie. A Design Method of the General Aviation Flight Plan Management Scheme Based on Quantitative Verification. In Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng, editors, Human Centered Computing - First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Volume 8944 of Lecture Notes in Computer Science, pages 453-464, Springer, 2014. [doi]
Abstract is missing.