位置:成果数据库 > 会议 > 会议详情页
Safety Verification of Software Component Behavior Adaptation
  • 所属机构名称:大连海事大学
  • 会议名称:the 2010 International Conference on E-Product, E-Service and E-Entertainment(ICEEE2010)
  • 成果类型:会议
  • 相关项目:基于进程网络的Web服务组合建模和验证方法研究
同会议论文项目
同项目会议论文