弗兰岑,L。(编辑);梅拉约,M.G。(编辑);Nüñez,M。(编辑) 特刊:挪威利勒哈默尔第四届基于模型测试进展研讨会(A-MOST 2008)论文选集,2008年4月。 (英语) Zbl 1194.68031号 J.日志。阿尔盖布。程序。78,第6期,417-490(2009年)。 MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式
Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 从带有故障模型的随机定时系统进行测试。 (英语) Zbl 1161.68026号 J.日志。阿尔盖布。程序。 78,第2期,98-115(2009).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。程序。78,第2号,98--115(2009;Zbl 1161.68026) 全文: 内政部
伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 \(\mathcal{HOTL}\):假设和观察测试逻辑。 (英语) Zbl 1131.68064号 J.日志。阿尔盖布。程序。 74,第2号,57-93(2008).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。阿尔盖布。程序。74,第2号,57-93(2008;Zbl 1131.68064) 全文: 内政部