“模型检查”的概念、定义、翻译、参考文献-科学参考

单词	模型检查
释义	模型检查 Computer 理论计算机科学程序理论释文 model checking模型检查
随便看	撕裂正方形分形撞击撞击中心撞击体撞击作用撞击参数撞击坑撞击声撞击声的隔声撞击成矿作用撞击构造撞击流混合器撞击的撞击盆地撞击聚变撞击角砾岩撞击起爆理论撞到正撞响撞线撞针式后装弹枪撞页撤光纤维撤单撤县设区

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。