-
嵌入式实时系统-调度.分析和验证
¥38.0(5.5折)定价:¥69.0本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例...
本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394