电脑体验，效果更佳

胡成军图谱-自然科学领域：

相关人员

沈昌祥 郑援 李思昆 吕述望 鄢来斌

研究领域

形式化规范 实体对象 PVS 密码协议 行为模型 虚拟世界

所属机构

海军潜艇学院 海军计算技术研究所 长沙国防科技大学计算机学院 北京100039海军潜艇学院青岛 中国科学院研究生院信息安全国家重点实验室

标签云