奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) 兹比尔1192.68416 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
丹,陶;塔里克·纳哈尔 覆盖连续和混合系统的指导测试生成。 (英语) 兹比尔1176.68033 形式方法系统。设计。 34,第2期,183-213(2009).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{T.Dang}和\textit{T.Nahhal},《形式方法系统》。设计。34,第2号,183--213(2009;Zbl 1176.68033) 全文: 内政部
科恩,阿里尔;Kedar S.Namjoshi。 全球安全特性的本地证明。 (英语) Zbl 1176.68118号 形式方法系统。设计。 34,第2期,104-125(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}和\textit{K.S.Namjoshi},表格方法系统。设计。34,No.2,104--125(2009;Zbl 1176.68118) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的近似参数化验证。 (英语) Zbl 1176.68110号 形式方法系统。设计。 34,第2期,126-156(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《表格方法系统》。设计。34,编号2126-156(2009年;兹bl 1176.68110) 全文: 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统:通过结合运动规划和离散搜索,从验证到证伪。 (英语) Zbl 1192.68692号 形式方法系统。设计。 34,第2期,157-182(2009).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,Form.Methods Syst。设计。34,第2号,157--182(2009;Zbl 1192.68692) 全文: 内政部 链接
达姆,沃纳(编辑);霍尔格·赫尔曼斯(编辑);尤尔根·尼豪斯(编辑) 特刊:2007年7月3日至7日在德国柏林举行的第19届国际会议(CAV 2007)论文集。 (英语) Zbl 1205.93001号 形式方法系统。设计。34,第2期,第83-214页(2009年)。 MSC公司:93-06 93立方厘米 PDF格式BibTeX公司 XML格式