登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
基于CP-nets模型的IOCO一致性测试方法研究
出版年:
2011
作者:
刘靖
资源类型:
图书
细分类型:
学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
基于模型检查的协议一致性测试生成
作者:
姬忠鹤
出版年:
2005
流程工厂协同设计中一致性模型研究
作者:
王杰
出版年:
2015
广域数据多一致性模型的研究与实现
作者:
谭静雪
出版年:
2012
存储一致性模型研究
作者:
吴俊敏
出版年:
2005
基于Petri网的WIA-PA协议一致性测试方法研究与平台实现
作者:
孙亮
出版年:
2015
ArbLCheck:支持仲裁的内存一致性模型验证方法及其实现
作者:
梁佳辉
出版社:
中国科学院软件研究所
出版年:
2019
×
访问借阅管理系统