模型检测

内部文件

大小:9.06 MB

和与积数迷的符号化模型检测.caj - 248.61KB对弈必胜策略的符号化模型检测.pdf - 571.63KB模型检测有界模型检测同步多智体系统的时态认知逻辑.pdf - 377.49KB一种自动的形式化验证技术_模型检测.pdf - 481.01KB一种求解认知难题的模型检测方法.pdf - 339.80KB模型检测在软件测试中的应用_张宁宁.caj - 43.00KB基于时态认知逻辑的Web服务模型检测.pdf - 261.82KB基于时间自动机的Web服务模型检测.pdf - 534.48KB......

输入验证码,获取网盘链接
验证码:
loading

说明

此资源内容只作交流和学习使用,请勿侵犯他人的知识产权,本站不储存、复制任何文件,所有文件均来自网络。
感谢您对本站的支持。