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]
@inproceedings{WuMZZ14, title = {Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph}, author = {Wenjuan Wu and Dianfu Ma and Yongwang Zhao and Xianqi Zhao}, year = {2014}, doi = {10.1007/978-3-319-12096-6_23}, url = {http://dx.doi.org/10.1007/978-3-319-12096-6_23}, researchr = {https://researchr.org/publication/WuMZZ14}, cites = {0}, citedby = {0}, pages = {258-269}, booktitle = {Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings}, editor = {Robert Buchmann and Claudiu Vasile Kifor and Jian Yu}, volume = {8793}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-12095-9}, }