位置：成果数据库 > 会议 > 会议详情页
The rCOS tool
  • 所属机构名称：华东师范大学
  • 会议名称：Modelling and Analysis in VDM Proceedings of the Fourth VDM Overture Workshop
  • 成果类型：会议
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Zhiming Liu|Volker Stolz|Zhenbang Chen|
同会议论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 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 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
Model Checking Service Component Composition By SPIN
Measuring the Survivability of Object-Oriented Software
Towards the Verification of Services Collaboration
Probabilistic Coordination Language for Component Dynamic Composition