位置：成果数据库 > 期刊 > 期刊详情页
Modeling and Analysis of Real-Time Systems with Mutex Components
  • ISSN号：0129-0541
  • 期刊名称：International Journal of Foundations of Computer S
  • 时间：2012.6
  • 页码：831-851
  • 相关项目：基于具有时间性质的自动机模型检测的程序分析方法研究
作者： Guoqiang Li|Xiaojuan Cai|Shoji Yuen|
同期刊论文项目
基于具有时间性质的自动机模型检测的程序分析方法研究
期刊论文 1 会议论文 10
同项目期刊论文