|
题名:
|
嵌入式实时系统 / (美)Albert M. K. Cheng著 , 周强，李峭，杨昕欣译 |
|
ISBN:
|
978-7-5124-1871-4 价格： CNY69.00 |
|
语种:
|
chi |
|
载体形态:
|
403页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 北京航空航天大学出版社 出版日期： 2015 |
|
内容提要:
|
本书面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析(formal analysis)及验证。 |
|
主题词:
|
微型计算机 系统设计 |
|
中图分类法:
|
TP360.2 版次： 5 |
|
主要责任者:
|
陈 著 |
|
次要责任者:
|
周强 译 |
|
次要责任者:
|
李峭 译 |
|
次要责任者:
|
杨昕欣 译 |
|
索书号:
|
1 |