鲁本·卢比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 QMaude:重写逻辑中的定量规范和验证。 (英语) Zbl 07728846号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,Lect。注释计算。科学。14000,240-259(2023;Zbl 07728846) 全文: 内政部
史蒂文·艾克;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁本·卢比奥;阿尔贝托·维尔德乔 莫德战略语言。 (英语) Zbl 07723901号 J.日志。代数。方法计划。 134,文章ID 100887,49 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人,J.日志。代数。方法计划。134,文章ID 100887,49 p.(2023;Zbl 07723901) 全文: 内政部
鲁本·卢比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 战略的元层次转换。 (英语) Zbl 07432502号 J.日志。代数。方法计划。 124,文章ID 100728,21 p.(2022).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,J.Log。代数。方法计划。124,文章ID 100728,21 p.(2022;Zbl 07432502) 全文: 内政部 arXiv公司
鲁本·卢比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 Maude中的策略、模型检查和分支时间属性。 (英语) Zbl 1528.68233号 J.日志。代数。方法计划。 123,文章ID 100700,28 p.(2021).MSC公司:60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,J.Log。代数。方法计划。123,文章ID 100700,28 p.(2021;Zbl 1528.68233) 全文: 内政部 arXiv公司
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 重写逻辑中的组合规范。 (英语) Zbl 1434.68301号 理论与实践。日志。程序。 20,第1期,44-98(2020年).MSC公司:60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人,《理论与实践》。日志。程序。20,编号1,44-98(2020;兹bl 1434.68301) 全文: 内政部 arXiv公司
鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 模型检查策略控制重写系统。 (英语) Zbl 1528.68234号 Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第34条,第18页(2019年)。MSC公司:60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,LIPIcs——莱布尼茨国际程序。通知。131,第34条,第18页(2019年;Zbl 1528.68234) 全文: 内政部
鲁本·卢比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 Maude中的参数化策略规范。 (英语) Zbl 1444.68104号 JoséLuiz(编辑)Fiadeiro等人,代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会,2018年7月2日至5日,英国埃格姆,WADT 2018。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11563, 27-44 (2019).MSC公司:60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,Lect。注释计算。科学。11563、27-44(2019年;Zbl 1444.68104) 全文: 内政部 哈尔
马丁·奥列特,纳西索;弗朗西斯科·杜兰;阿尔贝托·维尔德乔 重写逻辑和莫德中的等式抽象。 (英语) Zbl 1335.68143号 Braga,Christiano(编辑)等人,《形式方法:基础和应用》。2014年9月29日至10月1日在巴西亚利桑那州马塞奥举行的第17届巴西研讨会,SBMF 2014。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-15074-1/pbk)。计算机科学课堂讲稿8941,17-31(2015)。MSC公司:60年第68季度 03B70号 68甲15 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,Lect。注释计算。科学。8941,17-31(2015;Zbl 1335.68143) 全文: 内政部
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 无限系统上的模型检查TLR*保证公式。 (英语) Zbl 1407.68296号 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 129-150 (2014).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{ó.Martín}等人,Lect。注释计算。科学。8373129-150(2014年;Zbl 1407.68296) 全文: 内政部 链接
阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 (英语) Zbl 1279.68220号 J.日志。代数。程序。 81,编号7-8,851-897(2012).MSC公司:60年第68季度 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,J.Log。代数。程序。81、编号7--8、851--897(2012;Zbl 1279.68220) 全文: 内政部
阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude的完整声明式调试器。 (英语) Zbl 1308.68069号 Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486216-225(2011)。MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,Lect。注释计算。科学。6486、216——225(2011年;Zbl 1308.68069) 全文: 内政部
马丁·奥列特,纳西索;何塞·梅塞盖尔;阿尔贝托·维尔德乔 莫德策略的重写语义。 (英语) Zbl 1347.68199号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,227-247页(2009年)。MSC公司:2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,《电子》。注释Theor。计算。科学。238,第3号,227--247(2009;Zbl 1347.68199) 全文: 内政部
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 Maude功能模块的声明式调试器。 (英语) 兹比尔1347.68073 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,63-81(2009)。MSC公司:68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,《电子》。注释Theor。计算。科学。238,第3号,63--81(2009;Zbl 1347.68073) 全文: 内政部
艾德里安·里斯科;阿尔贝托·维尔德乔;拉斐尔·卡巴列罗;马丁·奥列特,纳西索 重写逻辑规范的声明性调试。 (英语) Zbl 1253.68097号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,308-325(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,Lect。注释计算。科学。5486、308--325(2009年;Zbl 1253.68097) 全文: 内政部
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 成员关系等式逻辑规范的声明性调试。 (英语) Zbl 1143.68363号 Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065174-193(2008)。MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,Lect。注释计算。科学。5065174--193(2008年;Zbl 1143.68363) 全文: 内政部
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中的可执行结构操作语义。 (英语) Zbl 1088.68095号 J.日志。代数。程序。 67,编号1-2226-293(2006).MSC公司:第68季度55 60年第68季度 68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},J.Log。代数。程序。67,编号1--2,226--293(2006;Zbl 1088.68095) 全文: 内政部 链接
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中语义执行的两个案例研究:CCS和LOTOS。 (英语) Zbl 1086.68552号 形式方法系统。设计。 27,第1-2号,113-172(2005).MSC公司:2012年第68季度 第68季度55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},《形式方法系统》。设计。27,编号1--2,113--172(2005;Zbl 1086.68552) 全文: 内政部