电脑体验，效果更佳

袁卫卫图谱-自然科学领域：

相关人员

邓小妮 曾熠 罗雪山

研究领域

验证 形式化描述 LOTOS 指挥控制 C4ISR

所属机构

湖南长沙 国防科技大学人文与管理学院

标签云