×

兹马思-数学第一资源

时间Petri网和时间自动机的验证研究进展。时间逻辑方法。(英语) Zbl公司 1110.68087
计算智能研究20柏林:斯普林格(ISBN 3-540-32869-6/hbk)。三十二、257 p(2006年)。
这本专著全面介绍了时间自动机和时间Petri网。它介绍了一些现有的将时间Petri网转换为时间自动机的方法,并着重介绍了将时钟与各种网络组件相关联的转换。介绍了定时和非定时时态规范语言,讨论了基于时间Petri网状态类和时间自动机分区精化的模型抽象方法。这本书还提出了两种模型检查方法,一种基于开发抽象状态空间,另一种采用基于SAT的符号技术。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q45号 形式语言与自动机
68Q60型 规范和验证(程序逻辑、模型检查等)
03B44号 时态逻辑
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
PDF格式 BibTeX公司 XML 引用
全文: 内政部