|
关于我们
|
|
点击返回 当前位置:首页 > 中图法 【 TP36 微型计算机】 分类索引
-
-
-
-
-
-
-
-
-
- 嵌入式实时系统调度、分析和验证
- (美)阿尔伯特陈 著,周强,李峭,杨昕欣 译/2015-12-1/北京航空航天大学出版社
本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形
式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例,从简单系统(如温度控制系统、面包机和电饭煲)到
-
定价:¥69 ISBN:9787512418714
-
|