×

找到9个文档（结果1-9）

最新的 引文 关联
彼得·丰塔纳；牧场克利夫兰

证明的力量：时间自动机模型检查的新算法。 （英语） Zbl 1448.68297号

Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8711, 115-129 (2014).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Fontana｝和\textit｛R.Cleaveland｝，Lect。注释计算。科学。8711，115-129（2014；Zbl 1448.68297）
全文： 内政部 arXiv公司
金·古德斯特兰·拉森

时间自动机的符号和合成可达性。 （英语） Zbl 1285.68096号

库切拉，安东宁（编辑）等人，《可达性问题》。2010年8月28日至29日，第四届国际研讨会，RP 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15348-8/pbk）。计算机科学讲座笔记622724-28（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}，莱克特。注释计算。科学。6227，24-28（2010；Zbl 1285.68096）
全文： 内政部
海宁·迪尔克斯；塞巴斯蒂安·库普弗施米德；Larsen，Kim G。

时间自动机的自动抽象精化。 （英语） Zbl 1141.68431号

Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763114-129（2007）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Dierks}等人，Lect。注释计算。科学。4763、114--129（2007年；Zbl 1141.68431）
全文： 内政部
弗兰克·卡塞兹；奥利维尔·H·鲁克斯。

从时间Petri网到时间自动机的结构转换。 （英语） Zbl 1272.68294号

Huth，Michael R.A.（编辑），《关键系统自动验证第四次国际研讨会论文集》（AVoCS 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第6期，145-160（2005）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Cassez｝和\textit｛O.H.Roux｝，电子。注释Theor。计算。科学。128，第6号，145-160（2005；Zbl 1272.68294）
全文： 链接
弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼

通过商和约束求解对混合系统进行模型检查。 （英语） Zbl 0974.68117号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 373-388 (2000).
MSC公司：60年第68季度 68问题85 65年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}和\textit{F.Laroussinie}，莱克特。注释计算。科学。1855373-388（2000年；Zbl 0974.68117）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件