托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 (英语) Zbl 1458.68119号 正式Asp。计算。 33,第1号,127-150(2021).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,正式Asp。计算。33,编号1,127--150(2021;Zbl 1458.68119) 全文: 内政部
盖斯勒,S。;A.E.哈克斯豪森。 使用RAISE对分布式联锁系统进行逐步开发和模型检查。 (英语) Zbl 1458.68117号 正式Asp。计算。 33,编号1,87-125(2021).MSC公司:第68季度第60季度 90B20型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Geisler}和\textit{A.E.Haxthausen},正式Asp。计算。33,编号1,87-125(2021;Zbl 1458.68117) 全文: 内政部 链接
亚伦·杜特尔;玛丽亚诺·莫斯卡托;劳拉·蒂托洛;塞萨尔·穆尼奥斯;格雷戈里·安德森;弗朗索瓦·博博特 紧凑位置报告算法的形式化分析。 (英语) Zbl 1458.68273号 正式Asp。计算。 33,编号1,65-86(2021).MSC公司:68单位35 6504年 68页30 第68季度第60季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Dutle}等人,正式Asp。计算。33,编号1,65--86(2021;Zbl 1458.68273) 全文: 内政部
戴维德·卡维扎(Davide G.Cavezza)。;达拉·阿拉杰;安德烈·吉尔吉 GR(1)公式的弱点度量。 (英语) Zbl 1458.68115号 正式Asp。计算。 33,第1号,27-63(2021).MSC公司:第68季度第60季度 03B44号 28A80型 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,《形式Asp》。计算。33,编号1,27--63(2021;Zbl 1458.68115) 全文: 内政部
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;拉森,金·G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 65年第68季度 68瓦30 93立方65 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
埃里克·德文克(编辑);安娜·卡瓦尔坎蒂(编辑) 编辑。 (英语) Zbl 1458.68008号 正式Asp。计算。 33,第1期,第1-2期(2021年).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.de Vink}(编辑)和\textit{A.Cavalcanti}(主编),正式Asp。计算。33,编号1,1--2(2021;Zbl 1458.68008) 全文: 内政部