位置:成果数据库 > 期刊 > 期刊详情页
A model-checking approach to schedulabilityanalysis of global multiprocessor scheduling with fixed o
  • ISSN号:1741-1068
  • 期刊名称:International Journal of Embedded Systems
  • 时间:2014
  • 页码:176-187
  • 相关项目:面向车联网的可信网络应用软件系统试验环境与示范应用
同期刊论文项目
期刊论文 47 会议论文 81 获奖 2 著作 3
同项目期刊论文