张连毅;罗桂明;青、杜正;王伟静;于立新 随机构件系统的统计模型检验。 (英语) Zbl 07192076号 J.统计计算。模拟 87,第13号,2509-2525(2017).MSC公司:60年第68季度 68纳米30 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,《统计计算杂志》。模拟87,No.13,2509--2525(2017;Zbl 07192076) 全文: 内政部
格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 (英语) Zbl 1425.68266号 实时系统。 53,第3期,354-402(2017).MSC公司:60年第68季度 68平方米 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,实时系统。53,第3号,354--402(2017;Zbl 1425.68266) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) 兹比尔1359.68171 西奥。计算。科学。 669, 1-21 (2017).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接