格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 (英文) 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) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;尼古拉斯·佩林;菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) 使用控制不变量对切换动态系统进行时间自动机抽象。 (英文) 兹比尔1425.68181 实时系统。 53,第3号,327-353(2017).MSC公司:65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《实时系统》。53,第3号,327--353(2017;Zbl 1425.68181) 全文: 内政部 哈尔
弗洛里安·洛伯;阿姆诺·罗森曼;德扬·尼契科维奇;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 具有静默转换的时间自动机的有界判定。 (英文) Zbl 1425.68216号 实时系统。 53,第3期,291-326(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lorber}等人,《实时系统》。53,第3号,291--326(2017;Zbl 1425.68216) 全文: 内政部 arXiv公司
马尔科·保列里(编辑);桑卡拉纳拉亚南,斯里拉姆(编辑);恩里科·比卡里奥(编辑) 特约编辑:关于时间系统的正式建模和分析的专刊。 (英文) Zbl 1388.00040号 实时系统。 53,第3期,289-290(2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Paolieri}(编辑)等人,《实时系统》。53,第3号,289--290(2017;Zbl 1388.00040) 全文: 内政部