位置：成果数据库 > 期刊 > 期刊详情页
A quadratic-time DBM-based successor algorithm for checking timed automata
  • 时间：0
  • 相关项目：软件工程学
同期刊论文项目
软件工程学
期刊论文 17 会议论文 16
同项目期刊论文
检验基于场景规约的构件式设计分析与验证
An MDE Based Method for Bridging Different Design Notations.
Deriving Available Behavior All Out from Incompatible Component Compositions
场景驱动的构件行为抽取
基于MDA的设计模式建模与转换
一个基于设计演算的用例模型形式化途径
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
构件式实时软件系统设计与场景式规约的一致性检验
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems u
基于MDE的异构模型转换：从MARTE模型到FIACRE模型
UML Activity Diagram-Based Automatic Test Case Generation for Java Programs
A Model Driven Development Framework for Enterprise Web Services
基于场景规约的构件式系统设计分析与验证
基于场景构件式实时软件设计的一致性检验
基于MDA的设计模式建模与模型转换
时间自动机可达性分析中的状态空间约减技术综述