首页 > 图书中心 > 模型检验原理

图书简介

本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法,同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径,可作为计算机科学与技术、软件工程等专业本科生、研究生的教材,也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。

版权所有(C)2023 清华大学出版社有限公司 京ICP备10035462号 京公网安备11010802042911号

联系我们 | 网站地图 | 法律声明 | 友情链接 | 盗版举报 | 人才招聘