机读格式显示(MARC)

• 000 01382nam 2200289 450

• 001 0000746991

• 005 20190905145300.0

• 010 __ |a 978-7-5487-3563-2 |d CNY40.00

• 100 __ |a 20190605d2019 kemy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 430000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a Büchi自动机模型检测及其安全性分析应用研究 |A Büchi zi dong ji mo xing jian ce ji qi an quan xing fen xi ying yong yan jiu |f 王曦, 欧阳城添著

• 210 __ |a 长沙 |c 中南大学出版社 |d 2019

• 215 __ |a 147页 |c 图 |d 24cm

• 225 2_ |a 江西理工大学优秀博士论文文库 |A jiang xi li gong da xue you xiu bo shi lun wen wen ku

• 320 __ |a 有书目 (第134-147页)

• 330 __ |a 本书在讲解模型检测基础理论与基本方法的基础上, 主要介绍作者以广义Büchi自动机为研究对象, 在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果, 主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。

• 410 _0 |1 2001 |a 江西理工大学优秀博士论文文库

• 606 0_ |a 自动检测系统 |A zi dong jian ce xi tong |x 研究

• 690 __ |a TP274 |v 5

• 701 _0 |a 王曦 |A wang xi |4 著

• 701 _0 |a 欧阳城添 |A ou yang cheng tian |4 著

• 801 _0 |a CN |b HDUL |c 20190905

• 905 __ |a HDUL |d TP274/160

• 920 __ |a 233030 |z 1