保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(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) 全文: 内政部
刘俊峰;迪帕克·戴伊。 具有宏观自相关的层次过分散泊松模型。 (英语) Zbl 1248.62152号 统计方法。 4,第3期,354-370(2007).MSC公司:62米10 2015年1月62日 62页第12页 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{D.K.Dey},Stat.Methodol。4,第3号,354--370(2007;Zbl 1248.62152) 全文: 内政部