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 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) 全文: 内政部