位置：成果数据库 > 会议 > 会议详情页
基于BPEL服务组合的形式化建模与检验方法研究
  • 所属机构名称：北方工业大学
  • 会议名称：2012 IEEE/ACIS 11the International Conference on Computer and Information Sceience
  • 时间：2012.5.5
  • 成果类型：会议
  • 相关项目：网构软件体系结构建模与检测的方法和技术研究
作者： 赵会群|赵会群|王文文|王文文|孙晶|孙晶|魏莹|魏莹|
同会议论文项目
网构软件体系结构建模与检测的方法和技术研究
期刊论文 13 会议论文 7
同项目会议论文
服务体系结构的动态演化方法研究
服务体系结构动态演化在移动云中的应用
基于模型检查的测试套自动生成
面向OWL2的本地支持的模糊云本地模型
物联网中数据编码与解码方法研究
使用Protege构建本体模型的方法研究