×

找到29个文档（结果1-29）

最新 引文 关联
多里安·多迪耶;Trinh Ngoc Quoc Bao公司;Kazuhiro绪方

对命令式编程语言编译器进行形式验证的一种证明分数方法。 （英语） Zbl 1504.68037号

田聪（编辑）等，结构化面向对象形式语言和方法。2017年11月16日，中国西安，2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10795, 200-217 (2018).
MSC公司：68N20型 68甲15 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Daudier}等人，Lect。注释计算。科学。10795200-217（2018年；兹比尔1504.68037）
全文： 内政部
Doan、Ha Thi Thu;弗朗索瓦·博内;Kazuhiro绪方

机器人采集的模型检查。 （英语） Zbl 1487.68041号

Aspnes，James（编辑）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18-20日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。95，第12条，第16页（2018年）。
MSC公司：64岁以下 60年第68季度 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{H.T.T.Doan}等人，LIPIcs——莱布尼茨国际程序。通知。95，第12条，第16页（2018；Zbl 1487.68041）
全文： 内政部
阿德里安·里斯科;细辛、伊琳娜·玛丽卡;米哈伊尔·阿萨沃埃

Maude中语义规范的内存策略分析。 （英语） Zbl 1473.68056号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 293-310 (2015).
MSC公司：68号30 68甲15 2012年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Riesco}等人，Lect。注释计算。科学。9527、293--310（2015年；Zbl 1473.68056）
全文： 内政部
何塞·梅塞盖尔;斯蒂芬·斯基里克

初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68053号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课堂讲稿9527，36-53（2015）。
MSC公司：68号30 03B70号 68甲15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。9527，36-53（2015；Zbl 1362.68053）
全文： 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔

Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号

J.日志。阿尔盖布。方法程序。 84，第4期，505-533（2015）.
MSC公司：68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169）
全文： 内政部
伊莎贝尔·皮塔;费尔南德斯·卡马乔（Fernández-Camacho），玛丽亚·伊内斯（María-Inés）

Maude中Kademlia和Kad路由表的正式规范。 （英语） Zbl 1394.68235号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841，231-247（2013）。
MSC公司：60年第68季度 68个M12 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Pita}和\textit{M.-I.Fernández-Camacho}，莱克特。注释计算。科学。7841、231--247（2013；Zbl 1394.68235）
全文： 内政部
Bae，Kyungmin先生;彼得·塞巴·奥维茨基;冯，托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯

使用实时淡紫色验证等级托勒密二世离散事件模型。 （英语） Zbl 1264.68051号

科学。计算。程序。 77，第12期，1235-1271（2012）.
MSC公司：68号30 60年第68季度 68问题55 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bae}等人，科学。计算。程序。77，第12号，1235--1271（2012；Zbl 1264.68051）
全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔

重写Maude模型检查器的线性时序逻辑。 （英语） Zbl 1306.68099号

厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381208-225（2010）。
MSC公司：60年第68季度 03B44号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Bae｝和\textit｛J.Meseguer｝，Lect。注释计算。科学。6381208-225（2010年；Zbl 1306.68099）
全文： 内政部
罗德里格斯，帝力E。

结合技术来减少状态空间并证明强性质。 （英语） Zbl 1347.68200号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，267-280（2009）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.E.Rodríguez}，电子。注释Theor。计算。科学。238，第3号，267--280（2009；Zbl 1347.68200）
全文： 内政部
纳杰斯·本·拉杰布;布拉希姆·纳斯劳伊;Riadh罗巴纳;泰瑟·图利

使用整数变量验证多线程递归程序。 （英语） Zbl 1347.68069号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239143-154（2009）。
MSC公司：68号30 68甲19 2012年第68季度 65年第68季度 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{N.Ben Rajeb}等人，《电子》。注释Theor。计算。科学。239143--154（2009年；Zbl 1347.68069）
全文： 内政部
Martin Neuhäußer;诺尔，托马斯

Maude中核心Erlang程序的抽象和模型检查。 （英语） 兹比尔1279.68216

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，147-163（2007）。
MSC公司：60年第68季度 68N17号 68甲18 68甲19 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Neuhäußer}和\textit{T.Noll}，电子。注释Theor。计算。科学。176，第4号，147--163（2007；Zbl 1279.68216）
全文： 内政部
彼得·塞巴·奥维茨基;何塞·梅塞盖尔

实时Maude的抽象和完整性。 （英语） Zbl 1279.68218号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，5-27页（2007年）。
MSC公司：60年第68季度 03B25号 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Ølveczky}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，第5--27号（2007；Zbl 1279.68218）
全文： 内政部
彼得·塞巴·奥维茨基;何塞·梅塞盖尔

实时Maude的最新进展。 （英语） Zbl 1277.68144号

Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，65-81（2007）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.C.Ölveczky｝和\textit｛J.Meseguer｝，电子。注释Theor。计算。科学。174，编号1，65--81（2007；Zbl 1277.68144）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件