位置：成果数据库 > 期刊 > 期刊详情页
A Formal Framework for Hybrid Event B
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：2014
  • 页码：3-12
  • 相关项目：基于MARTE的实时系统模型驱动架构关键问题研究
作者： Jie Liu|Jing Liu|
同期刊论文项目
基于MARTE的实时系统模型驱动架构关键问题研究
期刊论文 11 会议论文 24
同项目期刊论文
面向安全攸关系统中小概率事件的统计模型检测方法
Service Selection Based On Behavior Matching
基于环境的多形态时间需求建模方法
一种面向CPS的自适应统计模型检测方法
信息物理融合系统的时间求致性分析