帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,第2期,105-134(2015)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《形式方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 (英语) Zbl 1317.68126号 形式方法系统。设计。 45,第1期,42-62(2014)。MSC公司:60年第68季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人,《形式方法系统》。设计。45,第1号,42--62(2014;Zbl 1317.68126) 全文: 内政部
斯特凡·拉森 非线性混杂系统的安全性验证是拟决策的。 (英语) Zbl 1291.68266号 形式方法系统。设计。 44,第1号,71-90(2014)。MSC公司:60年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan},形式方法系统。设计。44,第1号,第71--90号(2014;Zbl 1291.68266) 全文: 内政部
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,编号2191-232(2013)。MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,第2号,191--232(2013;Zbl 1291.68293) 全文: 内政部
亚历山德罗·西马蒂;移动器,Sergio;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) Zbl 1284.03216号 形式方法系统。设计。 42,第1期,46-66(2013)。MSC公司:05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
贝拉德,贝特里奇;谢尔盖,哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012)。MSC公司:65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40、第1号、第41-87号(2012;Zbl 1247.68124) 全文: 内政部 arXiv公司
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 为混合系统构造不变量。 (英语) Zbl 1133.68365号 形式方法系统。设计。 32,第1号,25-55(2008)。MSC公司:65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,《形式方法系统》。设计。32,编号1,25-55(2008;Zbl 1133.68365) 全文: 内政部
阿什什·蒂瓦里 混合系统的抽象。 (英语) Zbl 1133.68368号 形式方法系统。设计。 32,编号1,57-83(2008)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari},《形式方法系统》。设计。32,编号1,57--83(2008;Zbl 1133.68368) 全文: 内政部
拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 混合自动机中的多面体流。 (英语) Zbl 1073.68038号 形式方法系统。设计。 24,第3期,261-280(2004)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。24,第3号,261--280(2004;Zbl 1073.68038) 全文: 内政部
G.多尔蒂。;马森克,M。;法孔蒂,G。 使用混合自动机支持关键系统中的人为因素分析。 (英语) Zbl 0990.68521号 形式方法系统。设计。 19,第2期,143-164(2001)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Doherty}等人,《形式方法系统》。设计。19,第2号,143--164(2001;Zbl 0990.68521) 全文: 内政部