塞尔吉奥·费奥·阿雷尼斯;米兰武吉诺维奇;伯恩德·韦斯特法尔 关于可实现的时间自动机。 (英语) 兹比尔1511.68029 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12136, 78-95 (2020).MSC公司:68米14 68号30 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Feo-Arenis}等人,Lect。注释计算。科学。12136,78-95(2020;Zbl 1511.68029) 全文: 内政部
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽 混合系统的验证。 (英语) Zbl 1392.68246号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1047-1110 (2018).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,in:模型检查手册。查姆:斯普林格。1047--1110(2018;Zbl 1392.68246) 全文: 内政部
尤金·亚萨林;尼古拉斯·巴塞特;奥尔德里克·德戈尔 正则时间语言的熵。 (英语) Zbl 1309.68114号 Inf.计算。 241, 142-176 (2015).MSC公司:第68季度第45季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。241142--176(2015;Zbl 1309.68114) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 西奥。计算。科学。 563, 43-74 (2015).MSC公司:第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234107-132(2014年).MSC公司:第68季度第45季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部
拉森,金·G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部
泰斯尼姆·阿卜杜拉提夫;雅克·康巴兹;约瑟夫·西法基斯 严格实施实时系统——从理论到应用。 (英语) Zbl 1272.68097号 数学。结构。计算。科学。 23,第4期,882-914(2013).MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Abdellatif}等人,《数学》。结构。计算。科学。23,第4号,882--914(2013;Zbl 1272.68097) 全文: 内政部
斯文·施奈德;乌韦·内斯特曼 使用过程演算对混合系统进行严格的离散化。 (英语) Zbl 1348.68109号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919301-316(2011)。MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{U.Nestmann},莱克特。注释计算。科学。6919301--316(2011;Zbl 1348.68109) 全文: 内政部
贾·戴维德·奎塞尔;马丁·范策尔;达姆,维尔纳 跨越类似游戏之间的桥梁。 (英语) Zbl 1348.68147号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,160-176(2011)。MSC公司:60年第68季度 第68季度第45季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人,Lect。注释计算。科学。6919、160--176(2011年;Zbl 1348.68147) 全文: 内政部
拉森,金·G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时组件的稳健规范。 (英语) Zbl 1348.68143号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。《计算机科学讲义》6919199-144(2011)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。6919、129--144(2011;Zbl 1348.68143) 全文: 内政部
尼古拉斯·巴塞特;尤金·亚萨林 瘦时间正则语言和厚时间正则语言。 (英语) Zbl 1348.68091号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,113-128(2011)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}和\textit{E.Asarin},莱克特。注释计算。科学。6919、113--128(2011年;Zbl 1348.68091) 全文: 内政部 链接
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,97-112(2011)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6919,97-112(2011;Zbl 1348.68122) 全文: 内政部
帕特里夏·鲍耶;拉森,金·G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 时间自动机总是可以实现的。 (英语) 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)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6901、76-91(2011年;Zbl 1343.68134) 全文: 内政部
费内科斯(Georgios E.Fainekos)。;乔治·帕帕斯。 连续时间信号时序逻辑规范的稳健性。 (英语) Zbl 1186.68287号 西奥。计算。科学。 410,第42号,4262-4291(2009).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Fainekos}和\textit{G.J.Pappas},Theor。计算。科学。410,编号42,4262--4291(2009;Zbl 1186.68287) 全文: 内政部
马丁·德·伍尔夫;劳伦特·多恩;尼古拉斯·马基;让-弗朗索瓦·拉斯金 时间自动机的鲁棒安全性。 (英语) Zbl 1165.68392号 形式方法系统。设计。 33,编号1-3,45-84(2008).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,《形式方法系统》。设计。33,编号1--3,45-84(2008;Zbl 1165.68392) 全文: 内政部
黄金凤;杰罗·沃顿;下士,亨克 可预测的实时软件合成。 (英语) Zbl 1118.68048号 实时系统。 36,第3期,159-198(2007).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Huang}等人,《实时系统》。36,第3号,159--198(2007;Zbl 1118.68048) 全文: 内政部