简·哈尔特曼;海克·卫尔海姆 过近似和欠近似软件分析之间的信息交换。 (英语) Zbl 1525.68026号 Schlingloff,Bernd-Holger(编辑)等人,《软件工程和形式化方法》。第20届国际会议,SEFM 2022,德国柏林,2022年9月26-30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13550, 37-54 (2022).MSC公司:68号30 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Haltermann}和\textit{H.Wehrheim},莱克特。注释计算。科学。13550,37-54(2022;Zbl 1525.68026) 全文: 内政部
西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证:公理方法。 (英语) 兹比尔1508.68216 ACM事务处理。计算。日志。 23,第4条,第27条,第39页(2022年).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,《美国医学杂志》。计算。日志。23,第4号,第27条,第39页(2022年;Zbl 1508.68216) 全文: 内政部
埃利尼·比拉;约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 持久不透明度的模块化验证。 (英语) Zbl 07577571号 日志。计算方法。科学。 18,第3号,第7号论文,36页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Bila}等人,Log。计算方法。科学。18,第3号,第7号论文,36页(2022;Zbl 07577571) 全文: arXiv公司 链接
萨迪·达尔瓦迪;布里杰什·多戈尔;西蒙·多尔蒂;海克·卫尔海姆 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 (英语) Zbl 07498610号 J.汽车。推理 66,编号1,141-171(2022).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dalvandi}等人,J.Autom。推理66,No.1,141--171(2022;Zbl 07498610) 全文: 内政部 arXiv公司
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;舍尔霍恩,格哈德;海克·卫尔海姆 验证持久并发数据结构的正确性:一种完善的方法。 (英语) Zbl 1519.68133号 正式Asp。计算。 33,编号4-5,547-573(2021).MSC公司:第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。33,编号4--5,547--573(2021;Zbl 1519.68133) 全文: 内政部
埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 定义和验证持久不透明度:持久软件事务内存的正确性。 (英语) Zbl 1511.68072号 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12136, 39-58 (2020).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Bila}等人,Lect。注释计算。科学。12136,39-58(2020;Zbl 1511.68072) 全文: 内政部 arXiv公司
沃尔夫冈·阿伦特(编辑);海克·卫尔海姆(编辑) 测试和证明。第14届国际会议,TAP 2020,作为STAF 2020的一部分,于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。 (英语) Zbl 1498.68009号 计算机科学课堂讲稿12165.查姆:施普林格(ISBN 978-3-030-50994-1/pbk;978-3-0.30-50995-8/电子书)。xiii,181页。(2020).MSC公司:68-06 第68季度第60季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}(编辑)和\textit{H.Wehrheim}(主编),测试和证明。第14届国际会议,TAP 2020,作为STAF 2020的一部分,于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆:施普林格(2020;Zbl 1498.68009) 全文: 内政部
西蒙·多尔蒂;布里杰什·多戈尔;海克·卫尔海姆;约翰·德里克 使部分有序执行的线性化能力合成。 (英语) Zbl 1514.68164号 Furia,Carlo A.(编辑)等人,《综合形式方法》。2018年9月5日至7日,第14届国际会议,2018年国际单项体育联合会,爱尔兰Maynooth。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11023, 110-129 (2018).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,莱克特。注释计算。科学。11023、110-129(2018;Zbl 1514.68164) 全文: 内政部 arXiv公司
曼纽尔·托尔斯;海克·卫尔海姆 信息流证书。 (英语) Zbl 1518.68067号 Fischer,Bernd(ed.)等人,《计算的理论方面——2018年ICTAC》。2018年10月16日至19日,第十五届国际学术讨论会,南非斯特伦博什。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11187, 435-454 (2018).MSC公司:68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{M.Töws}和\textit{H.Wehrheim},Lect。注释计算。科学。11187、435--454(2018年;Zbl 1518.68067) 全文: 内政部
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;舍尔霍恩,格哈德;奥列格·特拉夫金;海克·卫尔海姆 不透明的机械化证明:两种技术的比较。 (英语) Zbl 1395.68186号 正式Asp。计算。 30,第5期,597-625(2018).MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。30,第5号,597--625(2018;Zbl 1395.68186) 全文: 内政部
西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 证明悲观STM的不透明度。 (英语) Zbl 1432.68070号 Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第35条,第17页。(2017年)。MSC公司:68号30 68甲19 65年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,LIPIcs——莱布尼茨国际程序。通知。70,第35条,第17页(2017;Zbl 1432.68070) 全文: 内政部
库尔根·科尼;海克·卫尔海姆 基于价值还是基于冲突?STM的不透明度定义。 (英语) Zbl 1445.68055号 Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10580, 118-135 (2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.König}和\textit{H.Wehrheim},莱克特。注释计算。科学。10580、118--135(2017;Zbl 1445.68055) 全文: 内政部
奥列格·特拉夫金;海克·卫尔海姆 弱内存模型上并发程序的验证。 (英语) Zbl 1482.68147号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第13届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 3-24 (2016).MSC公司:第68季度第60季度 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{O.Travkin}和\textit{H.Wehrheim},莱克特。注释计算。科学。9965,3--24(2016;Zbl 1482.68147) 全文: 内政部
格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 朝向一种防止饥饿的螺纹技术。 (英语) Zbl 1354.68179号 布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记9681193-209(2016)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,Lect。注释计算。科学。9681193--209(2016年;兹比尔1354.68179) 全文: 内政部
约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 验证事务互斥锁的不透明度。 (英语) Zbl 1427.68190号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9109, 161-177 (2015).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,Lect。注释计算。科学。9109161--177(2015;Zbl 1427.68190) 全文: 内政部 链接
加利纳州贝索娃;多米尼克·斯坦肯;海克·卫尔海姆 基于语法的模型转换:定义、执行和质量属性。 (英语) 兹比尔1387.68067 计算。语言系统。结构。 43, 116-138 (2015).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Besova}等人,《计算》。语言系统。结构。43、116--138(2015;Zbl 1387.68067) 全文: 内政部
罗兰·梅耶(编辑);安德烈·普拉泽(编辑);海克·卫尔海姆(编辑) 正确的系统设计。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 (英语) Zbl 1320.68024号 计算机科学课堂讲稿9360.查姆:施普林格(ISBN 978-3-319-23505-9/pbk;978-3-3169-23506-6/电子书)。xii,279页。(2015).MSC公司:68-06 68号30 第68季度第60季度 第68季度85 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}(编辑)等,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格(2015;Zbl 1320.68024) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 Event-B精化的行为语义。 (英语) Zbl 1342.68211号 正式Asp。计算。 26,第2期,251-280(2014).MSC公司:第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,正式Asp。计算。26,第2号,251--280(2014;Zbl 1342.68211) 全文: 内政部 链接
格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 并发数据结构线性化能力的完善证明技术。 (英语) Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页(2014年).MSC公司:68第05页 第68季度第60季度 第68季度85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,《美国医学杂志》。计算。日志。第15条第4款第31条第37页(2014年;Zbl 1354.68066) 全文: 内政部 链接
托马斯·鲁罗斯;海克·卫尔海姆 模型演化和细化。 (英语) Zbl 1243.68156号 科学。计算。程序。 77,第3期,270-289(2012).MSC公司:68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},科学。计算。程序。77,第3号,270--289(2012;Zbl 1243.68156) 全文: 内政部
多米尼克·斯坦肯;海克·卫尔海姆;丹尼尔·沃尼什 健全完整的抽象图形转换。 (英语) Zbl 1349.68106号 Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学课堂讲稿7021,92-107(2011)。MSC公司:2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Steenken}等人,Lect。注释计算。科学。7021,92-107(2011;Zbl 1349.68106) 全文: 内政部
Michael Leuschel先生(编辑);海克·卫尔海姆(编辑) 特刊:集成形式化方法(iFM09)。根据2009年2月16日至19日在德国杜塞尔多夫举行的第七届国际会议上的发言选出的论文。 (英语) Zbl 1221.68024号 科学。计算。程序。76,第10期,835-967(2011)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式
海克·卫尔海姆;丹尼尔·沃尼什 成分CSP跟踪细化检查。 (英语) Zbl 1335.68151号 Miller,Alice(ed.)等人,《第八届关键系统自动化验证国际研讨会论文集》(AVoCS 2008),英国格拉斯哥,2008年9月30日至10月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记250,第2期,135-151(2009)。MSC公司:第68季度第60季度 第68季度85 68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim}和\textit{D.Wonisch},电子。注释Theor。计算。科学。250,编号2,135--151(2009;Zbl 1335.68151) 全文: 内政部
Michael Leuschel先生(编辑);海克·卫尔海姆(编辑) 集成形式化方法。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。 (英语) Zbl 1156.68005号 计算机科学课堂讲稿5423.柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。x、 第367页。(2009).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}(编辑)和\textit{H.Wehrheim}(主编),综合形式方法。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(2009;Zbl 1156.68005) 全文: 内政部
埃斯特勒·H·克里斯蒂安;海克·卫尔海姆 合金作为重构检查器? (英语) Zbl 1283.68205号 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214,331-357(2008)。MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.C.Estler}和\textit{H.Wehrheim},电子。注释Theor。计算。科学。214、331--357(2008年;Zbl 1283.68205) 全文: 内政部
英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 切片抽象。 (英语) Zbl 1154.68079号 芬达姆。通知。 89,第4号,369-392(2008).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人,Fundam。通知。89,编号4369-392(2008年;兹bl 1154.68079)
海克·卫尔海姆 部分Kripke结构的有界模型检查。 (英语) Zbl 1161.68589号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160380-394(2008)。MSC公司:第68季度第60季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},莱克特。注释计算。科学。5160380-394(2008年;Zbl 1161.68589) 全文: 内政部
迈克尔·莫勒;奥尔德罗格(Ernst-Rüdiger Olderog);霍尔格·拉什;海克·卫尔海姆 使用UML和Java将形式化方法集成到软件工程过程中。 (英语) Zbl 1141.68024号 正式Asp。计算。 20,第2期,161-204(2008).MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Möller}等人,正式Asp。计算。20,第2号,161--204(2008;Zbl 1141.68024) 全文: 内政部
约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 通过非原子求精证明线性化能力。 (英语) Zbl 1213.68370号 Davies,Jim(编辑)等,《综合形式方法》。2007年7月2日至5日,第六届国际会议,IFM 2007,英国牛津。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73209-9/pbk)。计算机科学课堂讲稿4591195-214(2007)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,Lect。注释计算。科学。4591、195--214(2007年;Zbl 1213.68370) 全文: 内政部
因戈Brückner;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 切片抽象。 (英语) Zbl 1141.68457号 Arbab,Farhad(编辑)等人,软件工程基础国际研讨会。国际研讨会,FSEN 2007,伊朗德黑兰,2007年4月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75697-2/pbk)。计算机科学课堂讲稿476717-32(2007)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人,Lect。注释计算。科学。4767,17-32(2007;Zbl 1141.68457) 全文: 内政部
托马斯·鲁罗斯;海克·卫尔海姆 用数据和过程重构面向对象的规范。 (英语) Zbl 1202.68102号 Bonsange,Marcello M.(编辑)等人,开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。计算机科学课堂讲稿4468,236-251(2007)。MSC公司:68甲19 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},莱克特。注释计算。科学。4468,236--251(2007;Zbl 1202.68102) 全文: 内政部
格雷戈·恩格斯;克里斯蒂安·索尔滕伯恩;海克·卫尔海姆 使用动态元建模分析UML活动。 (英语) Zbl 1202.68095号 Bonsange,Marcello M.(编辑)等人,开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。计算机科学课堂讲稿4468,76-90(2007)。MSC公司:68甲19 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Engels}等人,Lect。注释计算。科学。4468、76-90(2007年;Zbl 1202.68095) 全文: 内政部
约翰·德里克;海克·卫尔海姆 关于使用数据抽象进行模型检查精化。 (英语) Zbl 1111.68077号 学报信息。 44,第1期,41-71(2007).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim},《学报》第44期,第1期,第41-71页(2007年;Zbl 1111.68077) 全文: 内政部
英戈·布吕克纳;比约恩·梅茨勒;海克·卫尔海姆 通过演绎验证优化形式规范的切片。 (英语) Zbl 1114.68051号 Nord.J.计算机。 13,编号1-2,22-45(2006).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人,Nord.J.Compute。13,编号1--2,22-45(2006;Zbl 1114.68051)
约翰·德里克;海克·卫尔海姆 Z和CSP中的非原子细化。 (英语) 兹比尔1118.68542 Treharne,Helen(ed.)等人,ZB 2005:Z和B中的正式规范和开发。第四届B和Z用户国际会议,英国吉尔福德,2005年4月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25559-1/pbk)。计算机科学课堂讲稿345524-44(2005)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim},莱克特。注释计算。科学。3455,24-44(2005;Zbl 1118.68542) 全文: 内政部
英戈·布吕克纳;海克·卫尔海姆 用于验证的切片Object-Z规范。 (英语) Zbl 1118.68541号 Treharne,Helen(ed.)等人,ZB 2005:Z和B中的正式规范和开发。第四届B和Z用户国际会议,英国吉尔福德,2005年4月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25559-1/pbk)。计算机科学课堂讲稿3455414-433(2005)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}和\textit{H.Wehrheim},莱克特。注释计算。科学。3455144-433(2005年;兹bl 1118.68541) 全文: 内政部
海克·卫尔海姆 验证重用的切片技术。 (英语) Zbl 1079.68061号 西奥。计算。科学。 343,第3期,509-528(2005).MSC公司:第68季度第60季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \文本{H.Wehrheim},Theor。计算。科学。343,第3号,509--528(2005;Zbl 1079.68061) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);海克·卫尔海姆 CSP-OZ中的规范和(属性)继承。 (英语) Zbl 1075.68051号 科学。计算。程序。 55,编号1-3,227-257(2005).MSC公司:第68季度第60季度 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{H.Wehrheim},科学。计算。程序。55,编号1--3,227--257(2005;Zbl 1075.68051) 全文: 内政部
海克·卫尔海姆 保留更改中的属性。 (英语) Zbl 1104.68426号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿3188330-343(2004)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},莱克特。注释计算。科学。3188330-343(2004年;Zbl 1104.68426) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);海克·卫尔海姆 CSP-OZ中的规范和继承。 (英语) Zbl 1254.68065号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2002年11月5日至8日,第一届国际研讨会,FMCO 2002,荷兰莱顿。修订的讲座。柏林:施普林格出版社(ISBN 3-540-20303-6/pbk)。莱克特。注释计算。科学。2852, 361-379 (2003).MSC公司:68甲19 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{H.Wehrheim},莱克特。注释计算。科学。2852361--379(2003年;Zbl 1254.68065) 全文: 内政部
霍尔格·拉什;海克·卫尔海姆 检查UML图中的一致性:类和状态机。 (英语) Zbl 1253.68096号 Najm,Elie(编辑)等,开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议,2003年FMOODS,2003年11月19-21日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20491-1/pbk)。莱克特。注释计算。科学。2884, 229-243 (2003).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Rasch}和\textit{H.Wehrheim},莱克特。注释计算。科学。2884229--243(2003年;Zbl 1253.68096) 全文: 内政部
海克·卫尔海姆 时序逻辑属性的继承。 (英语) Zbl 1253.68223号 Najm,Elie(编辑)等,开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议,2003年FMOODS,2003年11月19-21日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20491-1/pbk)。莱克特。注释计算。科学。2884, 79-93 (2003).MSC公司:第68季度第60季度 03B44号 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},莱克特。注释计算。科学。2884,79-93(2003年;Zbl 1253.68223) 全文: 内政部
约翰·德里克;海克·卫尔海姆 在非原子精炼中使用耦合模拟。 (英语) Zbl 1028.68541号 Bert,Didier(ed.)等人,ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议,芬兰图尔库,2003年6月4-6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2651, 127-147 (2003).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim},莱克特。注释计算。科学。2651127--147(2003年;Zbl 1028.68541) 全文: 链接
海克·卫尔海姆 关联基于状态和面向行为的子类型。 (英语) Zbl 1088.68647号 Nord.J.计算机。 第9期,第4期,第405-435页(2002年).MSC公司:第68季度第60季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},北J.计算机。9,第4号,405--435(2002;Zbl 1088.68647)
海克·卫尔海姆 CSP-OZ规范验证中的数据抽象技术。 (英语) Zbl 0966.68125号 正式Asp。计算。 12,第3期,147-164(2000).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},正式Asp。计算。12,第3号,147--164(2000;Zbl 0966.68125) 全文: 内政部
海克·卫尔海姆 故障细化的部分订单减少。 (英语) Zbl 0958.68102号 Castellani,Ilaria(编辑)等人,EXPRESS’99。第六届并发表达能力国际研讨会,荷兰埃因霍温,1999年8月23日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。27,14页,仅电子版(1999年)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},in:EXPRESS'99。第六届并发表达能力国际研讨会,荷兰埃因霍温,1999年8月23日。阿姆斯特丹:爱思唯尔。第14页(1999年;Zbl 0958.68102)
克莱门斯·菲舍尔;海克·卫尔海姆 带有FDR的CSP-OZ型号检查规范。 (英语) Zbl 0963.68128号 Araki,Keijiro(编辑)等人,IFM 99。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:斯普林格。315-334 (1999).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fischer}和\textit{H.Wehrheim},在:IFM 99中。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:斯普林格。315--334(1999;Zbl 0963.68128)