中国科技核心期刊      中国指挥与控制学会会刊     军事装备类重点期刊
Command Control and Simulation
Static Defect Detecting on Navy Service Description Language
LI Yuan, LI Yin, YAO Hai-Yang
Command Control and Simulation . 2017, (1): 122 -129 .  DOI: 10.3969/j.issn.1673-3819.2017.01.026