位置：成果数据库 > 期刊 > 期刊详情页
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
  • ISSN号：1000-9000
  • 期刊名称：Journal of Computer Science and Technology
  • 时间：2013.1
  • 页码：188-202
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
作者： Yu Zhou|Luciano Baresi|Matteo Rossi|
同期刊论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 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
Verification of real-time models with hierarchical extensions
一种开放环境下软件在线演化一致性验证方法
一种基于Token Log的符合性检查方法
一种Java API文档对异常描述不一致的自动检测方法
期刊信息
  • 《计算机科学技术学报：英文版》
  • 中国科技核心期刊
  • 主管单位:
  • 主办单位:中国科学院计算机技术研究所
  • 主编：
  • 地址：北京2704信箱
  • 邮编：100080
  • 邮箱：jcst@ict.ac.cn
  • 电话：010-62610746 64017032
  • 国际标准刊号：ISSN：1000-9000
  • 国内统一刊号：ISSN：11-2296/TP
  • 邮发代号:2-578
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:505