位置：成果数据库 > 会议 > 会议详情页
On Verification of Linear Occurrence Properties of Real-Time Systems
  • 所属机构名称：同济大学
  • 会议名称：1st International Workshop on Harnessing Theories for Tool Support in Software. ENTCS, volum 207
  • 成果类型：会议
  • 相关项目：基于概率时间自动机的概率时段演算的模型检验及应用研究
作者： Choe Changil and Dang Van Hung|
同会议论文项目
基于概率时间自动机的概率时段演算的模型检验及应用研究
期刊论文 2 会议论文 9
同项目会议论文
Parametric Analysis of an Improved Fault Tolerant System
A Rigorous Model of Service Component Architecture
On verification of probabilistic timed automata against probabilistic duration properties
Model Checking Linear Duration Invariants of Networks of Automata
Formal analysis of services compatibility
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