马丁·科尔布尔;斯特凡·洛伊;托马斯·怀斯 定时系统的自动修复。 (英语) 兹比尔1522.68366 形式方法系统。设计。 59,编号1-3136-169(2021).MSC公司:第68季度85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,《形式方法系统》。设计。59,编号1--3,136-169(2021;Zbl 1522.68366) 全文: 内政部
马多达Nxumalo;Timm,零;斯特凡·格鲁纳 模型检查实时任务可调度性中的聚光灯抽象。 (英语) Zbl 1490.68135号 Laarman,Alfons(编辑)等人,《模型检查软件》。第27届国际研讨会,SPIN 2021,虚拟活动,2021年7月12日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12864, 63-80 (2021).MSC公司:第68季度第60季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nxumalo}等人,Lect。注释计算。科学。12864,63-80(2021;Zbl 1490.68135) 全文: 内政部
奥利维尔·伯内兹;阿默里·波利 模拟计算模型综述。 (英语) Zbl 07464644号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:施普林格。理论应用。计算。,173-226 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}和\textit{A.Pouly},in:分析中的可计算性和复杂性手册。查姆:施普林格。173-226(2021;Zbl 07464644) 全文: 内政部 arXiv公司
马可·沃伊格特 带有未解释谓词的线性有理算术的一阶可判定片段。 (英语) Zbl 07356976号 J.汽车。推理 65,第3期,357-423(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt},J.Autom。推理65,第3期,357-423(2021;Zbl 07356976) 全文: 内政部
杰里米·斯普洛斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) 兹比尔1511.68140 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12136, 150-168 (2020).MSC公司:65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},莱克特。注释计算。科学。12136,150--168(2020;Zbl 1511.68140) 全文: 内政部
马丁·科尔布尔;斯特凡·洛伊;罗伯特·施密德 违反定时可达性属性的动态原因。 (英语) Zbl 07317094号 Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 127-143 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,Lect。注释计算。科学。12288、127--143(2020;Zbl 07317094) 全文: 内政部 链接
卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 具有布尔保护的时间自动机网络的参数化模型检查。 (英语) Zbl 1433.68219号 西奥。计算。科学。 813, 248-269 (2020).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Spalazzi}和\textit{F.Spegni},Theor。计算。科学。813248-269(2020年;Zbl 1433.68219) 全文: 内政部
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 (英语) Zbl 1392.68233号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).MSC公司:第68季度第60季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,in:模型检查手册。查姆:施普林格。921-962(2018;Zbl 1392.68233) 全文: 内政部
Natarajan Shankar 模型检验与演绎相结合。 (英语) Zbl 1392.68265号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。651-684 (2018).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar},in:模型检查手册。查姆:施普林格。651--684(2018;Zbl 1392.68265) 全文: 内政部
Randal E.布莱恩特。 二进制决策图。 (英语) Zbl 1392.68151号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。191-217 (2018).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},in:模型检查手册。查姆:施普林格。191-217(2018年;兹bl 1392.68151) 全文: 内政部
尼尔·皮特曼;阿米尔·普努利 时间逻辑和公平离散系统。 (英语) Zbl 1392.68263号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。27-73 (2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}和\textit{A.Pnueli},in:模型检查手册。查姆:施普林格。27-73(2018;Zbl 1392.68263) 全文: 内政部