Robert M.Hierons。;曼努埃尔·努涅斯 使用调度器来测试概率分布式系统。 (英语) Zbl 1259.68033号 正式Asp。计算。 24,第4-6号,679-699(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}和\textit{M.Nuñez},正式Asp。计算。24、编号4--6679--699(2012;Zbl 1259.68033) 全文: 内政部
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) 全文: 内政部
努涅斯,曼努埃尔;伊斯梅尔·罗德里格斯 定时系统的一致性测试关系。 (英语) Zbl 1183.68180号 Grieskamp,Wolfgang(编辑)等人,《软件测试的形式化方法》。2005年7月11日,英国爱丁堡,第五届国际研讨会,命运2005。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-34454-3/pbk)。计算机科学课堂讲稿3997103-117(2006)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Nunez}和\textit{I.Rodríguez},莱克特。注释计算。科学。3997、103-117(2006年;Zbl 1183.68180) 全文: 内政部
洛佩斯,纳塔利娅;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 符号概率系统的规范、测试和实现关系。 (英语) Zbl 1088.68021号 西奥。计算。科学。 353,编号1-3,228-248(2006).MSC公司:68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.López}等人,Theor。计算。科学。353,编号1--3,228--248(2006;Zbl 1088.68021) 全文: 内政部
曼努埃尔·努涅斯 概率过程的代数理论。 (英语) Zbl 1048.68057号 J.日志。阿尔盖布。程序。 56,第1-2号,117-177(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Nüñez},J.Log。阿尔盖布。程序。56,编号1--2,117-177(2003;Zbl 1048.68057) 全文: 内政部