位置：成果数据库 > 会议 > 会议详情页
Model Checking Service Component Composition By SPIN
  • 所属机构名称：华东师范大学
  • 会议名称：2009 Eigth IEEE/ACIS International Conference on Computer and Information Science
  • 成果类型：会议
  • 会场：上海
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Mingyue Jiang|Zuohua Ding|刘静|
同会议论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2
同项目会议论文
Harnessing rCOS for Tool Support - The CoCoME Experience
Methods and Tools for Formal Software Engineering
Specification-based Test Generation and Optimization Using Model Checking
Integrating Theories and Techniques for Program Modeling, Design and Verification
The Validation and Veri?cation of WSCDL
Formal Analysis of Services Compatibility
Design and Verification of a Trustable Medical System
A Component-Based Access Control Monitor
The rCOS tool
The rCOS Method in a Nutshell
Designing, Modeling and Verifying a Container Terminal System Using UPPAAL
Validating Requirements Model of a B2B System
A Rigorous Model of Contract-based Service Component Architecture
Measuring the Survivability of Object-Oriented Software
Towards the Verification of Services Collaboration
Probabilistic Coordination Language for Component Dynamic Composition