×

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

最新的 引文 关联
佩拉斯、昆廷;Jean-Paul Bodeveix公司;朱利安·布鲁内尔;戴维·谢穆伊尔

无限状态系统时间特性的合理验证程序。 （英语） Zbl 1493.68219号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 337-360 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Peyras}等人，Lect。注释计算。科学。12760337-360（2021年；兹比尔1493.68219）
全文： DOI程序
OA许可证
Stefan Bodenmüller;格哈德·谢尔霍恩;马丁·比特利希;沃尔夫冈·雷夫

Flashix：并发和防碰撞闪存文件系统的模块化验证。 （英语） Zbl 07495063号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 239-265 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{S.Bodenmüller}等人，Lect。注释计算。科学。12750239--265（2021；Zbl 07495063）
全文： DOI程序 链接
Michael Leuschel先生

找出差异：B和Event-B之间的详细比较。 （英语） Zbl 07495058号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 147-172 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Leuschel}，莱克特。注释计算。科学。12750147-172（2021年；兹bl 07495058）
全文： DOI程序
亚历山德罗·范特奇;格内西、斯特凡尼亚;劳拉·塞米尼

形式化中的语言和通信问题：自然语言方法。 （英语） Zbl 07495056号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 121-134 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{A.Fantechi}等人，Lect。注释计算。科学。12750、121--134（2021；Zbl 07495056）
全文： DOI程序
乔纳森·鲍文（Jonathan P.Bowen）。

与Egon Börger和ASM相关的社区和祖先。 （英语） Zbl 07495055号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在Egon Börger 75岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。12750, 96-120 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Bowen}，莱克特。注释计算。科学。12750、96-120（2021；Zbl 07495055）
全文： DOI程序
理查德·巴纳赫;朱慧彪

模态和连续抽象状态机。 （英语） Zbl 07495052号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 29-62 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit｛R.Banach｝和\textit｛H.Zhu｝，Lect。注释计算。科学。12750，29-62（2021；Zbl 07495052）
全文： DOI程序
雅敏阿伊特阿默尔;雷吉尼·拉劳;多米尼克·梅里;尼拉杰·库马尔·辛格

在基于状态的形式化方法中利用领域知识。 （英语） Zbl 07495050号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 1-13 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Aít-Ameur}等人，Lect。注释计算。科学。12750，1-13（2021；Zbl 07495050）
全文： DOI程序
格里戈里·费尤科维奇;吉登·恩斯特

递归证明中的桥接数组和ADT。 （英语） Zbl 1474.68048号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 24-42 (2021).
MSC公司：68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}和\textit{G.Ernst}，莱克特。注释计算。科学。12652，24-42（2021；Zbl 1474.68048）
全文： DOI程序
OA许可证
尤拉杰·科尔查克;杰雷米·杜布特;一郎·哈索;胜本、新雅;戴维·斯普伦格;Akihisa山田

关系微分动态逻辑。 （英语） Zbl 1507.68189号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 191-208 (2020).
MSC公司：60年第68季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Kolák}等人，Lect。注释计算。科学。12078、191--208（2020年；Zbl 1507.68189）
全文： DOI程序 arXiv公司
OA许可证
纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·卢伊斯·尤夫拉德

自动友好的集合理论B类方法。 （英语） Zbl 1507.68341号

迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 409-414 (2018).
MSC公司：68V20型 03立方厘米35 03E99型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bury｝等人，Lect。注释计算。科学。10817、409--414（2018；Zbl 1507.68341）
全文： DOI程序
弗拉维奥·费拉罗蒂;塞恩·冈萨雷斯;克劳斯·迪特·施韦;图鲁尔·托雷斯，何塞·玛丽亚

用高阶逻辑对抽象状态机进行系统细化。 （英语） Zbl 1507.68113号

迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普敦，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 204-218 (2018).
MSC公司：04年第68季度 03B16号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{F.Ferrarotti}等人，Lect。注释计算。科学。10817204-218（2018年；兹bl 1507.68113）
全文： DOI程序
纪尧姆·杜邦;雅敏阿伊特阿默尔;马克·潘特尔;尼拉杰·库马尔·辛格

基于证据的混合系统开发方法：动态逻辑和Event-B。 （英语） Zbl 1507.68185号

迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 155-170 (2018).
MSC公司：60年第68季度 03B70号 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Dupont}等人，Lect。注释计算。科学。10817、155--170（2018年；Zbl 1507.68185）
全文： DOI程序 哈尔
弗拉维奥·费拉罗蒂;Van den Bussche，简;乔尼·维特玛

二阶传递闭包逻辑中的表达式。 （英语） Zbl 1528.68141号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第22条，第18页（2018年）。
MSC公司：19年第68季度 03B16号 03C13号机组
PDF格式BibTeX公司 XML格式引用
\textit｛F.Ferrarotti｝等人，LIPIcs——莱布尼茨国际期刊。通知。119，第22条，第18页（2018；Zbl 1528.68141）
全文： DOI程序 arXiv公司
乌斯曼·桑瓦尔;乌迈尔·西迪克

将生物系统的精细化和信号-时间逻辑相结合。 （英语） Zbl 1367.92045号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，333-339（2017）。
MSC公司：92立方厘米 00A71号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{U.Sanwal}和\textit{U.Siddique}，莱克特。注释计算。科学。10383、333--339（2017年；Zbl 1367.92045）
全文： DOI程序
皮埃尔·哈尔马格兰德

使用类型化的连续演算来证明B方法formulæ。 （英语） Zbl 1482.68270号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 196-213 (2016).
MSC公司：68伏15 03立方厘米35 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Halmagrand}，莱克特。注释计算。科学。9965196-213（2016年；兹比尔1482.68270）
全文： DOI程序 哈尔
纪尧姆·伯里;大卫·德拉哈耶

单纯形与表格集成。 （英语） Zbl 1471.68304号

De Nivelle，Hans（编辑），分析表的自动推理和相关方法。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 86-101 (2015).
MSC公司：68伏15 03立方厘米35
PDF格式BibTeX公司 XML格式引用
\textit{G.Bury}和\textit{D.Delahaye}，Lect。注释计算。科学。9323，86-101（2015；Zbl 1471.68304）
全文： DOI程序 链接
刘杰;刘静

混合事件B的正式框架。 （英语） Zbl 1351.68166号

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，3-12，仅电子版（2014）。
MSC公司：60年第68季度 03B70号 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}和textit{J.Liu}，电子。注释Theor。计算。科学。309、3--12（2014年；Zbl 1351.68166）
全文： DOI程序
Jean-Raymond Abrial先生

计算的集合理论模型。 （英语） Zbl 1390.68297号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，1-22（2013）。
MSC公司：2005年第68季度 03E75型 68号30 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-R.Abrial}，莱克特。注释计算。科学。8051，1-22（2013；Zbl 1390.68297）
全文： DOI程序
帕斯卡·方丹

一阶逻辑可判定片段的理论组合。 （英语） Zbl 1193.03020号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，263-278（2009）。
MSC公司：03B20型 03B25号 03立方厘米35 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{P.Fontaine}，莱克特。注释计算。科学。5749263-278（2009年；兹bl 1193.03020）
全文： DOI程序
沃伊切赫·莫齐德·奥斯基

通过依赖类型统一集合和程序。 （英语） Zbl 1211.68097号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407365-379（2009）。
MSC公司：68号30 03E70型 03楼50
PDF格式BibTeX公司 XML格式引用
\textit{W.Moczydłowski}，莱克特。注释计算。科学。5407365-379（2009年；Zbl 1211.68097）
全文： DOI程序
彼得·霍夫纳;乔治·斯特鲁斯

关于自动计算关系。 （英语） Zbl 1165.68460号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。《人工智能课堂讲稿》，50-66页（2008年）。
MSC公司：68吨15 03立方厘米35 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}和\textit{G.Struth}，莱克特。注释计算。科学。5195、50-66（2008年；Zbl 1165.68460）
全文： DOI程序
埃里克·杰格;凯瑟琳·杜布瓦

为什么你会信任？ （英语） 兹比尔1137.68355

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，288-302（2007）。
MSC公司：68号30 03B70号 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛É.Jaeger｝和\textit｛C.Dubois｝，Lect。注释计算。科学。4790，288--302（2007；Zbl 1137.68355）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件