电脑体验，效果更佳

模型检验图谱-计算机领域：

研究人员

徐启文 李亮 张勐 张艳 郭建 朱明 马晓星 李晓维

相关术语

反应式系统 异步收敛定理 数据控制流图 安全断言 统一建模语言（UML） 不完全Kripke结构 符号模拟 操作语义

标签云