有限状态模型和应用手册2012
王家村 :
有限状态模型和应用手册。 查普曼和霍尔/CRC 2012 ,国际标准图书编号 978-1-4398-4618-6 拉娜·巴鲁阿 , 基珊·昌德·古普塔 :
有限自动机。 1-17 杨一华 , 维克托·普拉桑纳 :
FPGA上的大规模正则表达式匹配。 19-43 哈维尔·巴利奥西安 , 迪娜·旺塞弗 :
有限状态传感器。 45-68 奥利维尔·高文 :
树自动机。 69-85 孙军(Jun Sun) , 杨柳 , 金松洞 :
定时自动机。 87-111 邱道文 , 李绿洲 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
量子有限自动机。 113-144 马尔科·阿尔梅达 , 内尔马·莫雷拉 , 罗杰里奥·里斯 :
有限自动机最小化。 145-169 扬·达契克 :
有限状态自动机的增量构造。 171-190 穆罕默德·雷扎·穆萨维 :
Esterel和因果语义。 191-206 亚历克斯·托莫 , S.Venkatesh公司 :
图结构数据上的常规路径查询。 207-221 米罗斯瓦夫·库尔科夫斯基 , Wojciech Penczek公司 :
时间自动机在安全协议模型检查中的应用。 223-254 纳迪娅·内贾赫 , 路易莎·德·马塞多·穆雷利 :
基于有限状态自动机的最优自适应模式匹配。 255-266年 杨钊 :
编译器中的有限状态自动机。 267-281 穆拉利·马尼 :
XML处理的有限状态模型。 283-295 -
Petri网。 297-316 汉林路 , 盛宇(Sheng Yu) :
状态图。 317-336 段振华 , 丛天 :
模型检查。 337-369 奥马尔·阿里斯 , 徐殿翔 :
使用UML状态机进行系统建模。 371-386 -
索引。 387-397