×

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

关于可实现的时间自动机。 (英语) 兹比尔1511.68029

Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12136, 78-95 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的验证。 (英语) Zbl 1392.68246号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1047-1110 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用过程演算对混合系统进行严格的离散化。 (英语) Zbl 1348.68109号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919301-316(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

跨越类似游戏之间的桥梁。 (英语) Zbl 1348.68147号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,160-176(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时组件的稳健规范。 (英语) Zbl 1348.68143号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。《计算机科学讲义》6919199-144(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

瘦时间正则语言和厚时间正则语言。 (英语) Zbl 1348.68091号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,113-128(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,97-112(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机总是可以实现的。 (英语) Zbl 1343.68134号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份