×

找到17个文档(结果1-17)

QMaude:重写逻辑中的定量规范和验证。 (英语) Zbl 07728846号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查策略控制重写系统。 (英语) Zbl 1528.68234号

Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第34条,第18页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Maude中的参数化策略规范。 (英语) Zbl 1444.68104号

JoséLuiz(编辑)Fiadeiro等人,代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会,2018年7月2日至5日,英国埃格姆,WADT 2018。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11563, 27-44 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

重写逻辑和莫德中的等式抽象。 (英语) Zbl 1335.68143号

Braga,Christiano(编辑)等人,《形式方法:基础和应用》。2014年9月29日至10月1日在巴西亚利桑那州马塞奥举行的第17届巴西研讨会,SBMF 2014。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-15074-1/pbk)。计算机科学课堂讲稿8941,17-31(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限系统上的模型检查TLR*保证公式。 (英语) Zbl 1407.68296号

Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 129-150 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

莫德策略的重写语义。 (英语) Zbl 1347.68199号

Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,227-247页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Maude功能模块的声明式调试器。 (英语) 兹比尔1347.68073

Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,63-81(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写逻辑规范的声明性调试。 (英语) 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格式引用
全文: 内政部

成员关系等式逻辑规范的声明性调试。 (英语) Zbl 1143.68363号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065174-193(2008)。
MSC公司:68号30 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段