位置：成果数据库 > 期刊 > 期刊详情页
Verification of real-time models with hierarchical extensions
  • ISSN号：1881-803X
  • 期刊名称：ICIC Express Letters
  • 时间：2013
  • 页码：559-564
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
作者： Zhou, Yu|Huang, Zhiqiu|
同期刊论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 9 会议论文 9
同项目期刊论文
Verifying specifications with associated attributes in graph transformation systems
Model Based Verification of Dynamically Evolvable Service Oriented Systems
A middleware platform for the dynamic evolution of distributed component-based systems
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
一种开放环境下软件在线演化一致性验证方法
一种基于Token Log的符合性检查方法
一种Java API文档对异常描述不一致的自动检测方法