位置：成果数据库 > 会议 > 会议详情页
基于模型检查的测试套自动生成
  • 所属机构名称：北方工业大学
  • 会议名称：2012 IEEE Asia-Pacific Services Computing Conference
  • 时间：2012.12.12
  • 成果类型：会议
  • 相关项目：云计算下服务体系结构建模方法与可靠性进化机制研究
作者： 赵会群|赵会群|孙晶|孙晶|XiaoDong Liu|XiaoDong Liu|
同会议论文项目
云计算下服务体系结构建模方法与可靠性进化机制研究
期刊论文 5 会议论文 6
同项目会议论文
服务体系结构动态演化在移动云中的应用
基于BPEL服务组合的形式化建模与检验方法研究
物联网中数据编码与解码方法研究
使用Protege构建本体模型的方法研究
面向OWL2的本地支持的模糊云本地模型