External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph

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]

Authors

Wenjuan Wu

This author has not been identified. Look up 'Wenjuan Wu' in Google

Dianfu Ma

This author has not been identified. Look up 'Dianfu Ma' in Google

Yongwang Zhao

This author has not been identified. Look up 'Yongwang Zhao' in Google

Xianqi Zhao

This author has not been identified. Look up 'Xianqi Zhao' in Google
runs on