×

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

最新的 引文 关联
佩拉斯、昆廷;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年；Zbl 1493.68219）
全文： 内政部
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年；兹bl 07495063）
全文： 内政部 链接
Michael Leuschel先生

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

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 147-172 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Leuschel}，莱克特。注释计算。科学。12750、147--172（2021；Zbl 07495058）
全文： 内政部
理查德·巴纳赫;朱慧彪

模态和连续抽象状态机。 （英语） 兹比尔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）
全文： 内政部
雅敏阿伊特阿默尔;雷吉尼·拉劳;多米尼克·梅里;尼拉杰·库马尔·辛格

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

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 1-13 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Aít-Ameur}等人，Lect。注释计算。科学。12750，1-13（2021年；兹bl 07495050）
全文： 内政部
尤拉杰·科尔查克;杰雷米·杜布特;一郎·哈索;胜本、新雅;大卫·斯普伦格;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）
全文： 内政部 arXiv公司
OA许可证
弗拉维奥·费拉罗蒂;塞恩·冈萨雷斯;克劳斯·迪特·施韦;图鲁尔·托雷斯，何塞·玛丽亚

用高阶逻辑对抽象状态机进行系统细化。 （英语） 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。注释计算。科学。10817、204--218（2018；Zbl 1507.68113）
全文： 内政部
纪尧姆·杜邦;雅敏阿伊特阿默尔;马克·潘特尔;尼拉杰·库马尔·辛格

基于证据的混合系统开发方法：动态逻辑和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）
全文： 内政部 哈尔
弗拉维奥·费拉罗蒂;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）
全文： 内政部 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立方厘米 00安培71 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{U.Sanwal}和\textit{U.Siddique}，莱克特。注释计算。科学。10383、333--339（2017年；Zbl 1367.92045）
全文： 内政部
刘杰;刘静

混合事件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}，电子。理论注释。计算。科学。309、3--12（2014年；Zbl 1351.68166）
全文： 内政部
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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件