电脑体验，效果更佳

邓小妮图谱-自然科学领域：

相关人员

袁卫卫 曾熠 罗雪山

研究领域

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

所属机构

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

标签云