电脑体验，效果更佳

LOTOS图谱-自然科学领域：

研究人员

代劲 曾熠 邓小妮 赵玉兰 罗雪山 蒋学文 袁卫卫 叶新铭

相关术语

验证 形式化 E-LOTOS 形式化描述 形式描述技术 对象模型 C4ISR 指挥控制

标签云