中国科技核心期刊      中国指挥与控制学会会刊     军事装备类重点期刊
指挥控制与仿真
海军服务化描述语言的静态缺陷检测方法*
李源, 李吟, 姚海洋
Static Defect Detecting on Navy Service Description Language
LI Yuan, LI Yin, YAO Hai-Yang
指挥控制与仿真 . 2017, (1): 122 -129 .  DOI: 10.3969/j.issn.1673-3819.2017.01.026