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

Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao

Browse the full KSEM paper archive.