位置：成果数据库 > 会议 > 会议详情页
Design and Verification of a Trustable Medical System
  • 所属机构名称：华东师范大学
  • 会议名称：3rd International Workshop on Harnessing Theories for Tool Support in Software TTSS'09
  • 成果类型：会议
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： 刘静|熊锡娇|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
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
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