一种针对CP-nets并发模型的验证方法[EB/OL]
北京：中国科技论文在线
在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证
提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型进行处理
一定程度上避免了状态爆炸问题并实现了模型验证
形式化方法 【收录情况】 中国科技论文在线： 孙涛
） 摘要： 状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难
一种针对CP-nets并发模型的验证方法A Verification Method on CP-nets Concurrent Model
3997
来源：
Licence：
联系：
分类：
平台：
环境：
大小：
更新：
标签：
免费下载
×
温馨提示
请用电脑打开本网页，即可以免费获取你想要的了。
