伊斯梅尔·罗德里格斯;费尔南多·罗莎·维拉尔多;费尔南多·鲁比奥 将复杂性引入正式测试。 （英文） Zbl 1494.68099号 J.日志。阿尔盖布。方法计划。 111，文章ID 100502，30 p.（2020）.MSC公司：65年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人，J.Log。阿尔盖布。方法计划。111，文章ID 100502，30 p.（2020；Zbl 1494.68099） 全文： 内政部
巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 测试可恢复系统：基于河流形成动力学的形式化定义和启发式解决方案。 （英文） 兹比尔1298.68255 正式Asp。计算。 25，第5期，743-768（2013）.MSC公司：68T20型 65年第68季度 60年第68季度 68T05型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{P.Rabanal}等人，正式Asp。计算。25，第5号，743--768（2013；Zbl 1298.68255） 全文： 内政部
伊斯梅尔·罗德里格斯;格雷戈里奥·迪亚斯;巴勃罗·拉巴纳尔;何塞·安东尼奥·马特奥 一种集中式和分散式方法，用于自动派生符合编排的web服务系统。 （英文） Zbl 1236.68052号 J.日志。阿尔盖布。程序。 81，第2期，127-159（2012）.MSC公司：68N99型 68英里11 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人，J.Log。阿尔盖布。程序。81，No.2，127--159（2012；Zbl 1236.68052） 全文： 内政部
伊斯梅尔·罗德里格斯 通用测试性理论。 （英文） Zbl 1254.68152号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，572-586（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}，莱克特。注释计算。科学。5710、572--586（2009年；Zbl 1254.68152） 全文： 内政部
塞萨尔·安德烈斯;路易斯·拉纳;伊斯梅尔·罗德里格斯 将用户模型测试问题正式转换为实现模型测试问题，反之亦然。 （英文） Zbl 1175.68073号 J.日志。阿尔盖布。程序。 78，第6号，425-453（2009）.MSC公司：68米15 PDF格式BibTeX公司 XML格式引用 \textit｛C.Andrés｝等人，J.Log。阿尔盖布。程序。78，第6号，425--453（2009；Zbl 1175.68073） 全文： 内政部
梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 简介\（\mathcal{THOTL}\）。 （英文） Zbl 1141.68479号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762501-510（2007）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Merayo}等人，Lect。注释计算。科学。4762、501--510（2007年；Zbl 1141.68479） 全文： 内政部
伊斯梅尔·罗德里格斯;曼努埃尔·努涅斯 测试复杂异构系统的正式方法。 （英文） Zbl 1141.68486号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762，394-409（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}和\textit{M.Nunez}，Lect。注释计算。科学。4762、394--409（2007年；Zbl 1141.68486） 全文： 内政部
路易斯·迪亚斯（Luis F.Llana-Díaz）。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 为定制概率系统推导合适的有限测试套件。 （英文） Zbl 1225.68046号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229467-483（2006）。MSC公司：68米14 68米15 PDF格式BibTeX公司 XML格式引用 \textit{L.F.Llana-Díaz}等人，Lect。注释计算。科学。4229467-483（2006年；兹比尔1225.68046） 全文： 内政部
纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 符号概率系统的规范、测试和实现关系。 （英文） 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） 全文： 内政部