电脑体验，效果更佳

可信软件栈图谱-自然科学领域：

研究人员

廖建华 陈亚莎 孟学军 张焕国 郝彦军 何凡 凌捷 包国琦

相关术语

软件测试 模型检测 可信计算平台 依赖关系 TrouSerS 计算树逻辑 一致性测试 可信计算

标签云