西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

嵌入式实时系统:调度、分析和验证/(美) 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网、进程代数、基于命题逻辑规则系统的设计与分析等。

豆瓣简介：