×

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

最新 引文 关联
奇诺维·迪斯金;阿利亚克巴尔·萨菲连;汤姆·迈鲍姆;肖姆·本·达维德

使用克里普克结构和模态逻辑对产品线进行建模。 （英语） Zbl 1471.68059号

Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9399, 184-202 (2015).
MSC公司：68号30 03B44号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Diskin}等人，Lect。注释计算。科学。9399、184--202（2015；Zbl 1471.68059）
全文： 内政部
蒂尔·莫萨科夫斯基;乌尔夫·克鲁姆纳克;汤姆·迈鲍姆

什么是派生签名形态？ （英语） Zbl 1472.68097号

Codescu，Mihai（编辑）等人，代数开发技术的最新趋势。2014年9月4日至7日，第22届国际研讨会，WADT 2014，罗马尼亚西奈亚。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9463, 90-109 (2015).
MSC公司：68问题65 03G30型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。9463、90-109（2015年；Zbl 1472.68097）
全文： 内政部
洛佩斯·蓬博（Lopez Pombo）、卡洛斯·古斯塔沃（Carlos Gustavo）;巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;托马斯·S·E·梅鲍姆。

分类设置中基于组件的系统设计的异构特征。 （英语） Zbl 1432.68312号

Ciobanu，Gabriel（编辑）等人，《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会，罗马尼亚布加勒斯特，2014年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8687, 314-332 (2014).
MSC公司：第68季度85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Lopez Pombo}等人，Lect。注释计算。科学。8687、314--332（2014；Zbl 1432.68312）
全文： 内政部
拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷

根据道义规范合成屏蔽容错系统。 （英语） Zbl 1410.68220号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，亚洲电视协会，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 163-177 (2013).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Demasi}等人，Lect。注释计算。科学。8172163--177（2013；Zbl 1410.68220）
全文： 内政部
热尔曼·里吉斯;尼科拉斯·里奇;Nazareno M.阿吉雷。;汤姆·迈鲍姆

指定和验证工作流的声明性流畅时态逻辑属性。 （英语） Zbl 1372.68176号

Gheyi，Rohit（编辑）等人，《形式方法：基础和应用》。第15届巴西研讨会，2012年SBMF，2012年9月23日至28日，巴西纳塔尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33295-1/pbk）。计算机科学课堂讲稿7498，147-162（2012）。
MSC公司：60年第68季度 第68季度85 90B70型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Regis｝等人，Lect。注释计算。科学。7498，147--162（2012；Zbl 1372.68176）
全文： 内政部
巴勃罗·卡斯特罗。;汤姆·S·E·迈鲍姆。

走向一阶道义行动逻辑。 （英语） Zbl 1314.03021号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，61-75（2012）。
MSC公司：03B45号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。7137、61-75（2012年；Zbl 1314.03021）
全文： 内政部
巴勃罗·卡斯特罗。;汤姆·S·E·迈鲍姆。

用互模拟表征局部性（封装）。 （英语） Zbl 1286.68309号

Cavalcanti，Ana（编辑）等人，《计算的理论方面——ICTAC 2010》。2010年9月1日至3日，巴西北里奥格兰德河纳塔尔举行的第七届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14807-1/pbk）。计算机科学讲稿6255，322-336（2010）。
MSC公司：60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。6255、322--336（2010年；Zbl 1286.68309）
全文： 内政部
巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;洛佩斯·蓬博，卡洛斯·古斯塔沃;托马斯·S·E·迈鲍姆。

在分类设置中管理软件系统的动态重新配置。 （英语） Zbl 1286.68070号

Cavalcanti，Ana（编辑）等人，《计算的理论方面——ICTAC 2010》。2010年9月1日至3日，巴西北里奥格兰德河纳塔尔举行的第七届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14807-1/pbk）。计算机科学讲座笔记6255306-321（2010）。
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}等人，Lect。注释计算。科学。6255306--321（2010年；Zbl 1286.68070）
全文： 内政部
巴勃罗·卡斯特罗。;迈鲍姆，T.S.E。

道义逻辑，与责任推理和容错相反。 （英语） Zbl 1294.03019号

Marcus，Leo（编辑），容错逻辑方面研讨会论文集（LAFT 2009），美国加利福尼亚州洛杉矶，2009年8月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记258，第2期，17-34页（2009年）。
MSC公司：03B70号 03B45号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，电子。注释Theor。计算。科学。258，编号2，17--34（2009；Zbl 1294.03019）
全文： 内政部
巴勃罗·卡斯特罗。;迈鲍姆，T.S.E。

用道义逻辑推理系统退化和故障恢复。 （英语） Zbl 1234.68038号

Butler，Michael（编辑）等人，容错方法、模型和工具。柏林：施普林格出版社（ISBN 978-3-642-00866-5/pbk）。计算机科学课堂讲稿545425-43（2009）。
MSC公司：68米15 03B45号 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。5454、25-43（2009年；Zbl 1234.68038）
全文： 内政部
巴勃罗·卡斯特罗。;迈鲍姆，T.S.E。

道义行动逻辑的表辅助系统。 （英语） Zbl 1143.68595号

范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。人工智能课堂讲稿，34-48（2008）。
MSC公司：68T27型 03B35型 03B45号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。5076、34-48（2008年；Zbl 1143.68595）
全文： 内政部
凌，香;汤姆·迈鲍姆;纳扎雷诺·阿吉雷

具有扩展形态的CommUnity设计。 （英语） Zbl 1151.68373号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，435-466（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{X.Ling}等人，Lect。注释计算。科学。4700、435至466（2007年；兹比尔1151.68373）
全文： 内政部
巴勃罗·卡斯特罗。;迈鲍姆，T.S.E。

完整而紧凑的命题道义逻辑。 （英语） Zbl 1143.03343号

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，109-123（2007）。
MSC公司：03B70号 03B44号 03B45号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，Lect。注释计算。科学。4711、109--123（2007年；Zbl 1143.03343）
全文： 内政部
纳扎雷诺·阿吉雷;汤姆·迈鲍姆;保罗·阿伦卡尔

社区的扩展形态。 （英语） Zbl 1132.68342号

Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060173-193（2006）。
MSC公司：68N99型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{N.Aguirre}等人，Lect。注释计算。科学。4060173--193（2006年；Zbl 1132.68342）
全文： 内政部
汤姆·迈鲍姆

纪念阿曼多·马丁·海伯勒。1947年1月4日至2003年2月11日。 （英语） Zbl 1274.01088号

Aichernig，Bernhard K.（编辑）等人，《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林：施普林格出版社（ISBN 3-540-20527-6/pbk）。莱克特。注释计算。科学。2757, 1-25 (2003).
MSC公司：01A70号 68-03 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Maibaum}，莱克特。注释计算。科学。2757，1--25（2003年；Zbl 1274.01088）
全文： 内政部
纳扎雷诺·阿吉雷;汤姆·迈鲍姆

基于组件的系统动态重构的时序推理的一些制度要求。 （英语） Zbl 1274.03031号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772407-435（2003）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Aguirre}和\textit{T.Maibaum}，莱克特。注释计算。科学。2772407-435（2003年；兹bl 1274.03031）
全文： 内政部
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。（编辑）;汤姆·迈鲍姆（编辑）

十字路口的形式方法。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修订论文。 （英语） Zbl 1028.00041号

计算机科学讲义. 2757. 柏林：斯普林格。xiv，453页（2003年）。
MSC公司：00B30型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}（编辑）和\textit{T.Maibaum}（编者），十字路口的形式化方法。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/信息技术研究所国际软件技术研究所十周年座谈会。修订论文。柏林：施普林格出版社（2003；Zbl 1028.00041）
全文： 内政部 链接
纳扎雷诺·阿吉雷;胡安·比卡雷奎;提奥·迪米特拉科斯;汤姆·迈鲍姆

面向B方法中抽象机器的动态种群管理。 （英语） Zbl 1028.68535号

Bert，Didier（编辑）等人，ZB 2003：Z和B的正式规范和开发。第三次B和Z用户国际会议，芬兰图尔库，2003年6月4日至6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 528-545 (2003).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Aguirre}等人，Lect。注释计算。科学。2651528--545（2003年；Zbl 1028.68535）
全文： 链接
纳扎雷诺·阿吉雷;汤姆·迈鲍姆

基于可重构组件的系统规范的逻辑基础。 （英语） Zbl 1032.68056号

Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年第六届FASE国际会议，作为欧洲软件理论和实践联合会议的一部分，2003年4月7日至11日在波兰华沙举行。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 37-51 (2003).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Aguirre}和\textit{T.Maibaum}，莱克特。注释计算。科学。2621,37--51（2003；Zbl 1032.68056）
全文： 链接
卡洛斯·杜阿尔特。;汤姆·迈鲍姆

用于开放分布式系统开发的分支时间逻辑系统。 （英语） Zbl 1261.03082号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，184-203（2002）。
MSC公司：03B44号 64岁以下 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.H.C.Duarte}和\textit{T.Maibaum}，电子。注释Theor。计算。科学。67、184--203（2002年；Zbl 1261.03082）
全文： 内政部
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第5卷：逻辑和代数方法。 （英语） Zbl 1035.03001号

牛津：牛津大学出版社（ISBN 0-19-853781-6/hbk）。十八、537页。(2000).
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03-00 68-00 03B70号 35楼03号 03G30型 18 C50 2015年3月1日 68问题65 03D75号
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第5卷：逻辑和代数方法。牛津：牛津大学出版社（2000；Zbl 1035.03001）
何塞·路易斯·费亚迪罗;汤姆·迈鲍姆;马丁·奥列特，纳西索;何塞·梅塞盖尔;伊莎贝尔·皮塔

针对重写逻辑的验证逻辑。 （英语） Zbl 0966.68123号

Bert，Didier（编辑）等人，代数开发技术的最新趋势。1999年9月15日至18日，第14届国际研讨会，WADT'99，法国波纳斯酒庄。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1827, 438-458 (2000).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Fiadeiro}等人，Lect。注释计算。科学。1827438-458（2000年；Zbl 0966.68123）
鲍姆，加布里埃尔·A。;马塞洛·F·弗里亚斯。;托马斯·S·E·迈鲍姆。

实时系统规范的逻辑、代数语义和方程演算。 （英语） Zbl 0924.03040号

Haeberer，Armando Martín（编辑），代数方法论和软件技术。第七届国际会议，1998年AMAST，巴西亚马逊河流域，1999年1月4日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1548，91-105（1999年）。
MSC公司：03B70号 60年第68季度 03B45号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Baum}等人，Lect。注释计算。科学。1548，91--105（1999；Zbl 0924.03040）
JoséLuiz Fiadeiro;汤姆·迈鲍姆

验证重用：面向对象系统验证的基础。 （英语） Zbl 0843.68067号

Hankin，C.（编辑）等人，《计算的理论和形式方法》94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡：帝国理工学院出版社（世界科学出版社发行）。235-257（1995年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Fiadeiro}和\textit{T.Maibaum}，in：计算理论和形式方法94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡：帝国理工学院出版社（世界科学出版社发行）。235-257（1995年；Zbl 0843.68067）
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第4卷：语义建模。 （英语） Zbl 0876.68001号

牛津：克拉伦登出版社。xiii，651页（1995年）。
MSC公司：68-00 00B15号机组 68问题55 03B70号 2010年第68季度 68问题65 03D45号 60年第68季度 06B35号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第4卷：语义建模。牛津：克拉伦登出版社（1995；Zbl 0876.68001）
费亚迪罗，J.L。;T·迈鲍姆。

对象时序逻辑中的动作细化。 （英语） Zbl 0949.68539号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 48-66 (1994).
MSC公司：60年第68季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Fiadeiro}和\textit{T.Maibaum}，莱克特。注释计算。科学。827、48-66（1994年；Zbl 0949.68539）
马克·瑞恩;何塞·费亚德罗;汤姆·迈鲍姆

在模态动作逻辑中共享动作和属性。 （英语） Zbl 1493.68257号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 569-593 (1991).
MSC公司：第68季度85 03B45号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ryan}等人，Lect。注释计算。科学。526569-593（1991年；Zbl 1493.68257）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件