位置：成果数据库 > 会议 > 会议详情页
A Component-Based Access Control Monitor
  • 所属机构名称：华东师范大学
  • 会议名称：International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, v
  • 成果类型：会议
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Charles Morisset|Zhiming Liu|Volker Stolz|
同会议论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 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
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