模型检测 Model Checking
5星 · 超过95%的资源 需积分: 50 36 浏览量
2013-10-05
22:23:44
上传
评论
收藏 10.9MB RAR 举报 
.rar （2个子文件） 
模型检测_理论_方法与应用.pdf 461KB Model Checking.pdf 12.79MB资源评论
shaohua198512012020-05-09很好，对于工程方面很有用
neuvincent
- 粉丝: 1
- 资源: 130
最新资源
- STM32-Lib-LIS3DSH-Accelerometer-main
- 软件测试面试题.pdf
- WINSOFT ComPort 6.0 for Delphi XE10.1-XE10.3 Cracked
- 数据库基础知识参考试题.doc
- 数据库存储引擎技术的优劣势分析.docx
- 基于GPT的AI文档分析、阅读和问答工具.txt
- 《机器人控制系统的设计与Matlab仿真 》仿真程序
- AI-免费物品无损放大工具AI在线免费放大图片工具.txt
- C++基于DPLL算法的SAT的蜂窝数独游戏求解程序,程序设计综合课程设计,包括SAT求解器板块、蜂窝数独转化成cnf公式板块
- 微信小程序恐龙快跑小程序源码.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
