×

找到9个文档(结果1-9)

使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号

Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。10500, 297-315 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于线性规划松弛的混合系统屏障证书生成方法。 (英语) Zbl 1427.68176号

Fitzgerald,John(编辑)等,FM 2016:形式方法。第21届国际研讨会,2016年11月9日至11日,塞浦路斯利马索尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9995, 721-738 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态驱动的时间自动机抽象,用于证明连续系统的活性。 (英语) 兹比尔1375.68072

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,59-74(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

符号动力学、花自动机和无限轨迹。 (英语) Zbl 1226.68053号

Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482135-142(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件