位置：成果数据库 > 会议 > 会议详情页
Nested Timed Automata
  • 所属机构名称：上海交通大学
  • 会议名称：11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013
  • 时间：2013.8.29
  • 成果类型：会议
  • 相关项目：基于具有时间性质的自动机模型检测的程序分析方法研究
作者： Guoqiang Li|Xiaojuan Cai|Mizuhito Oawa|Shoji Yuen|
同会议论文项目
基于具有时间性质的自动机模型检测的程序分析方法研究
期刊论文 1 会议论文 10
同项目会议论文
An Improved Full Abstraction Approach to Analyzing Locality Semantics
Online Mechanism Design for VMs Allocation in Private Cloud
Implementations for Checking Bisimulation of LTS.
An Over-Approximation Forward Analysis for Nested Timed Automata.
Well-Structured Pushdown Systems
Well-structured pushdown system: Case of dense timed pushdown automata
Measuring Time Lag with Nested Preemptions and Resumptions
Game Analysis of Workload Factoring with the Hybrid Cloud
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems