电脑体验，效果更佳

形式化规范图谱-自然科学领域：

研究人员

胡成军 王煦法 沈昌祥 王新苏 郑援 吕述望

相关术语

PVS 形式化方法 系统级状态机 形式化语言 面向对象 自动测试 密码协议

标签云