×
亚历山德罗·阿巴特；Joost-Pieter卡托恩；亚历山大·梅雷克莱

自治随机混合系统的定量自动机模型检验。 （英语） Zbl 1361.68130号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。83-92 (2011).

引用于5文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 形式语言和自动机
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

有限状态自动机；长期贷款；随机混合系统
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。83-92（2011年；Zbl 1361.68130）
全文： 内政部