电脑体验，效果更佳

运行时验证图谱-计算机领域：

研究人员

邵津 云晓春 方滨兴 赵宗涛 邓芳 王千祥 虞蕾

相关术语

模型 基于断言的验证 语义一致性 形式化验证 容错 软件系统监测 基于部件设计 约束

标签云