Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao. Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. In Robert Buchmann, Claudiu Vasile Kifor, Jian Yu, editors, Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings. Volume 8793 of Lecture Notes in Computer Science, pages 258-269, Springer, 2014. [doi]
Abstract is missing.