罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重用可达状态近似进行增量设计空间模型检查。 (英语) Zbl 1492.68085号 形式方法系统。设计。 58,第3号,375-398(2021).MSC公司:60年第68季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dureja}和\textit{K.Y.Rozier},《形式方法系统》。设计。58,第3号,375--398(2021;Zbl 1492.68085) 全文: 内政部 链接
安德鲁·索戈孔;斯特凡·米奇;Tan,Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 飞马座:声音连续不变生成。 (英语) Zbl 1505.68045号 形式方法系统。设计。 58,编号1-2,5-41(2021).MSC公司:第68卷第15页 34-04 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,《形式方法系统》。设计。58,编号1--2,5--41(2021;Zbl 1505.68045) 全文: 内政部 arXiv公司
阿德里安·勒科恩特;亚历山大·迪特·桑德雷托,朱利安;亚历山大·查普托;劳伦·弗里堡 非线性采样切换系统控制综合的一种改进算法。 (英语) Zbl 1428.93053号 形式方法系统。设计。 53,第3期,363-383(2018).MSC公司:93立方 93个B03 93立方厘米 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,《形式方法系统》。设计。53,第3号,363--383(2018;Zbl 1428.93053) 全文: 内政部 哈尔
托马索·德罗西;Thao Dang先生;卡拉广场 多项式动力系统可达性计算。 (英语) Zbl 1360.93084号 形式方法系统。设计。 50,第1期,第1-38页(2017年).MSC公司:93个B03 93C55美元 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Dreossi}等人,《形式方法系统》。设计。50,第1号,1--38(2017;Zbl 1360.93084) 全文: 内政部 链接
斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) Zbl 1380.68282号 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:60年第68季度 03B70号 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},《形式方法系统》。设计。49,编号1--2,33-74(2016;Zbl 1380.68282) 全文: 内政部
皮埃尔·鲁克斯;皮埃尔·洛伊奇·卡洛什 实际政策迭代。静态分析中策略迭代的实际应用:二次型情况。 (英语) 兹比尔1341.68031 形式方法系统。设计。 46,第2期,163-196(2015).MSC公司:68纳米30 65K10码 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}和\textit{P.-L.Garoche},形式方法系统。设计。46,No.2,163--196(2015;Zbl 1341.68031) 全文: 内政部
弗里堡,L。;Kühne,美国。;苏拉特,R。 采样切换系统的有限控制不变量。 (英语) Zbl 1303.93121号 形式方法系统。设计。 45,第3期,303-329(2014).MSC公司:93C57 93立方 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人,《形式方法系统》。设计。45,第3号,303--329(2014;Zbl 1303.93121) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;Stefano托内塔 混合系统不变量的无量子化编码。 (英语) Zbl 1317.68111号 形式方法系统。设计。 45,第2期,165-188(2014).MSC公司:60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。45,第2号,165--188(2014;Zbl 1317.68111) 全文: 内政部
张金金;朱兆辉 交替近似双相似的模态特征。 (英语) Zbl 1300.93114号 形式方法系统。设计。 44,第3期,240-263(2014).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{Z.Zhu},表格方法系统。设计。44,第3号,240--263(2014;Zbl 1300.93114) 全文: 内政部 arXiv公司
朱莉娅·布拉曼(Julia M.B.Braman)。;Richard M.默里。 基于目标的控制系统的互模拟转换和验证程序。 (英语) Zbl 1213.93139号 形式方法系统。设计。 38,第1号,62-95(2011).MSC公司:93C85号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray},形式方法系统。设计。38,编号1,62--95(2011;Zbl 1213.93139) 全文: 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 (英语) Zbl 1210.93068号 形式方法系统。设计。 38,第1期,1-32页(2011年).MSC公司:93E03型 87年第68季度 65年第68季度 60年第68季度 90秒25 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《形式方法系统》。设计。38,编号1,1--32(2011年;兹bl 1210.93068) 全文: 内政部
安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 计算混合系统的微分不变量作为不动点。 (英语) Zbl 1180.93024号 形式方法系统。设计。 35,第1期,98-120(2009).MSC公司:93B11号机组 47N10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},《形式方法系统》。设计。35,第1号,98-120(2009年;Zbl 1180.93024) 全文: 内政部
沙拉德·马利克(编辑);阿尔蒂·古普塔(编辑) 特刊:第20届计算机辅助验证国际会议(CAV’08),美国新泽西州普林斯顿,2008年7月7日至14日。选定论文的扩展版本。 (英语) Zbl 1194.93006号 形式方法系统。设计。35,第1期,120页。(2009). MSC公司:93-06 93亿B51 00B25型 PDF格式BibTeX公司 XML格式
达姆,沃纳(编辑);霍尔格·赫尔曼斯(编辑);尤尔根·尼豪斯(编辑) 特刊:2007年7月3日至7日在德国柏林举行的第19届国际会议(CAV 2007)论文集。 (英语) Zbl 1205.93001号 形式方法系统。设计。34,第2期,第83-214页(2009年)。 MSC公司:93-06 93立方厘米 PDF格式BibTeX公司 XML格式
冯,L。;W.M.沃纳姆。;Thiagarajan,P.S。 利用监督控制理论设计通信交易流程。 (英语) 兹比尔1112.68103 形式方法系统。设计。 30,第2期,117-141(2007).MSC公司:68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{L.Feng}等人,《形式方法系统》。设计。30,第2号,117--141(2007;Zbl 1112.68103) 全文: 内政部