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