实时随机系统模型检测

借阅：0人

收藏：0人

(可供) /张君华著

ISBN/ISSN：978-7-302-44881-5

价格：CNY39.00

出版：北京 :清华大学出版社 ,2016.9

载体形态：107页 :图 ;24cm

简介：本书以实时随机系统为研究对象, 以描述实时随机系统的典型模型-离散 (连续) 时间Markov决策过程、概率时间自动机及其扩展模型为基础, 就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题, 展开了一系列研究。

附注：本书适合高年级本科生或研究生阅读

中图分类号：O231 TP360.21

责任者：张君华著樊晓聪著林赐译毕超译崔丽野译马睿译

统一题名：Real-time embedded systems: design principles and engineering practices

豆瓣内容简介：

豆瓣作者简介：

分馆名	馆藏部门	图书条码	索书号	登录号	架位导航	卷期	状态

序号	图书条码	索书号	登录号	藏书部门	流通状态	年卷期	装订册	装订方式	装订颜色

类型

说明

URL

评论

评分：

发表

扫描图片信息到手机上，便于查找书架！

用户号：
密码：