嵌入式实时系统 调度、分析和验证/scheduling, analysis, and verification

收藏
  • 【作者】(美)Albert M. K. Cheng著;周强,李峭,杨昕欣译
  • 【关键词】微型计算机 系统设计
  • 【出版社】北京航空航天大学出版社
  • 【出版日期】2015
  • 【ISBN】978-7-5124-1871-4
  • 【中图分类号】 TP360.21
  • 【内容简介】本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析(formal analysis)及验证。全部展开
  • 【页码】403页
  • 【丛书名】嵌入式系统译丛
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。