阿兰·吉拉尔;埃里克·拉特 使用离散控制器综合自动添加容错。 (英语) Zbl 1186.68051号 形式方法系统。设计。 35,第2期,190-225(2009).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Girault}和\textit{E.Rutten},《形式方法系统》。设计。35,第2号,190--225(2009;Zbl 1186.68051) 全文: 内政部 哈尔
赫尔姆斯特特,C。;马兰尼奇,F。;梅勒特·康托兹。 系统芯片上系统的SystemC事务级模型的完整模拟覆盖范围。 (英语) Zbl 1186.68127号 形式方法系统。设计。 35,第2期,152-189(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Helmstetter}等人,《形式方法系统》。设计。35,第2号,152--189(2009;Zbl 1186.68127) 全文: 内政部 哈尔
劳拉·博泽利;萨尔瓦多拉托雷 上下界参数时间自动机的决策问题。 (英语) Zbl 1186.68245号 形式方法系统。设计。 35,第2期,121-151(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{S.La Torre},《形式方法系统》。设计。35,第2号,121--151(2009;Zbl 1186.68245) 全文: 内政部