MARC状态:审校 文献类型:中文图书 浏览次数:41
- 题名/责任者:
- 嵌入式实时系统:调度、分析和验证/(美) Albert M. K. Cheng著 周强, 李峭, 杨昕欣译
- 出版发行项:
- 北京:北京航空航天大学出版社,2015
- ISBN及定价:
- 978-7-5124-1871-4/CNY69.00
- 载体形态项:
- 403页:图;24cm
- 并列正题名:
- Real-time systems:scheduling, analysis, and verification
- 其它题名:
- 调度、分析和验证
- 丛编项:
- 嵌入式系统译丛
- 个人责任者:
- 陈 (Cheng, Albert M. K.) 著
- 个人次要责任者:
- 周强 译
- 个人次要责任者:
- 李峭 译
- 个人次要责任者:
- 杨昕欣 译
- 学科主题:
- 微型计算机-系统设计
- 中图法分类号:
- TP360.21
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书围绕嵌入式实时系统的调度、分析和验证,分为12章。内容涉及:非实时系统的分析与验证、实时调度和调度性分析、有限状态系统的模型检测、利用时间自动机进行验证、时间相关的Petri网、进程代数、基于命题逻辑规则系统的设计与分析等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP360.21/38 | CN1486689 | - | ![]() |
阅览 | |
TP360.21/38 | CN1486690 | - | ![]() |
可借 | 未央馆 |
TP360.21/38 | CN1486691 | - | ![]() |
可借 |
显示全部馆藏信息