位置:成果数据库 > 会议 > 会议详情页
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
  • 所属机构名称:北京大学
  • 会议名称:12th International Symposium on Component-Based Software Engineeting
  • 成果类型:会议
  • 会场:E Stroudsburg, PA
  • 相关项目:软件体系结构驱动的中间件协同式自治管理研究
同会议论文项目
同项目会议论文