位置：成果数据库 > 会议 > 会议详情页
Formal analysis of services compatibility
  • 所属机构名称：同济大学
  • 会议名称：2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
  • 成果类型：会议
  • 会场：Seattle, WA, United states
  • 相关项目：基于概率时间自动机的概率时段演算的模型检验及应用研究
作者： Zhang, Miaomiao|Gong, Xueqiang|Hu, Jueliang|Liu, Jing|
同会议论文项目
基于概率时间自动机的概率时段演算的模型检验及应用研究
期刊论文 2 会议论文 9
同项目会议论文
Parametric Analysis of an Improved Fault Tolerant System
A Rigorous Model of Service Component Architecture
On Verification of Linear Occurrence Properties of Real-Time Systems
On verification of probabilistic timed automata against probabilistic duration properties
Model Checking Linear Duration Invariants of Networks of Automata
Designing, modelling and verifying a container terminal system using UPPAAL
Verification of linear duration invariants by model checking CTL properties
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development