保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 (英语) Zbl 1291.68273号 形式方法系统。设计。 43,第2号,338-367(2013).MSC公司:60年第68季度 87年第68季度 10层62层 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,《形式方法系统》。设计。43,No.2,338--367(2013;Zbl 1291.68273) 全文: 内政部
利纳尔·米基耶夫;Neuhäußer,Martin R。;大卫·斯皮勒;维雷娜·沃尔夫 大型马尔可夫链DTA性质的现场验证和优化。 (英语) 兹比尔1291.68295 形式方法系统。设计。 43,第2期,313-337(2013).MSC公司:87年第68季度 60年27日 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikeev}等人,《形式方法系统》。设计。43,No.2,313--337(2013;Zbl 1291.68295) 全文: 内政部
斯特凡·基弗;安德烈·穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔 算法概率游戏语义。用自动机玩游戏。 (英语) Zbl 1291.68294号 形式方法系统。设计。 43,第2期,285-312(2013).MSC公司:87年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,《形式方法系统》。设计。43,第2号,285--312(2013;Zbl 1291.68294) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 部分观测随机平价博弈研究综述。 (英语) Zbl 1291.91022号 形式方法系统。设计。 43,第2期,268-284(2013).MSC公司:91A15型 91A05型 91年43月 91A80型 87年第68季度 91-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。43,No.2,268--284(2013;Zbl 1291.91022) 全文: 内政部 链接
北伯特兰。;施诺贝伦,P。 结构良好的符号模型检查中的可计算不动点。 (英语) Zbl 1291.68247号 形式方法系统。设计。 43,第233-267号(2013年).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}和\textit{P.Schnoebelen},《形式方法系统》。设计。43,第2233-267号(2013年;兹bl 1291.68247) 全文: 内政部
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,第2期,191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,第2号,191--232(2013;Zbl 1291.68293) 全文: 内政部
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 (英语) Zbl 1291.68265号 形式方法系统。设计。 43,第2期,164-190(2013).MSC公司:60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,《形式方法系统》。设计。43,第2号,164--190(2013;Zbl 1291.68265) 全文: 内政部 链接
托马斯·布拉兹迪尔;哈维尔·埃斯帕尔扎;斯特凡·基弗;安东·库切拉 分析概率下推自动机。 (英语) Zbl 1291.68226号 形式方法系统。设计。 43,第2期,124-163(2013).MSC公司:65年第68季度 68-02 87年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《形式方法系统》。设计。43,No.2,124--163(2013;Zbl 1291.68226) 全文: 内政部 链接
拜尔,克里斯特尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) Zbl 1291.68245号 形式方法系统。设计。 43,第2期,121-123(2013).MSC公司:60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{M.Kwiatkowska}(主编),《形式方法系统》。设计。43,编号2121-123(2013年;兹bl 1291.68245) 全文: 内政部