电脑体验，效果更佳

胡成军图谱-计算机领域：

相关人员

沈昌祥 郑援 陈火旺 王戟

研究领域

时段演算 实时系统 秘密性 定理证明 均值演算 区间时序逻辑 相继式演算 带时戳时序逻辑

所属机构

国防科技大学 海军潜艇学院 国防科学技术大学计算机学院

标签云