于宁;马丁·威尔辛 基于SOC的混合系统正式规范和验证。 (英语) Zbl 1469.68063号 Codescu,Mihai(编辑)等人,代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9463, 151-169 (2015).MSC公司:60年第68季度 03B44号 第34页38 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Yu}和\textit{M.Wirsing},莱克特。注释计算。科学。9463,151--169(2015;Zbl 1469.68063) 全文: 内政部
罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 模型检查海伦娜与旋转合奏。 (英语) Zbl 1321.68346号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,331-360(2015)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Lect。注释计算。科学。9200、331--360(2015年;Zbl 1321.68346) 全文: 内政部
乔纳斯·埃克哈特;托拜厄斯·穆尔鲍尔;何塞·梅塞盖尔;马丁·威尔辛 复合参与者系统的统计模型检查。 (英语) Zbl 1394.68228号 Martí-Oliet,Narciso(编辑)等人,代数开发技术的最新趋势。第21届国际研讨会,2012年WADT,西班牙萨拉曼卡,2012年6月7日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-37634-4/pbk)。计算机科学课堂讲稿7841143-160(2013)。MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eckhardt}等人,Lect。注释计算。科学。7841、143--160(2013;Zbl 1394.68228) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 (英语) Zbl 1216.68187号 西奥。计算。科学。 412,第28号,3101-3121(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Theor。计算。科学。412,第28号,3101--3121(2011;Zbl 1216.68187) 全文: 内政部
van Riemsdijk,M.Birna先生;罗尔夫·亨尼克;马丁·威尔辛;安德烈亚斯·施罗德 使用描述逻辑进行服务规范和匹配。基于制度的方法。 (英语) Zbl 1170.68534号 Meseguer,José(编辑)等人,代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。计算机科学课堂讲稿5140392-406(2008)。MSC公司:60年第68季度 03B70号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.B.van Riemsdijk}等人,Lect。注释计算。科学。5140392--406(2008年;Zbl 1170.68534) 全文: 内政部
亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚扎佩 MTLA和移动UML中移动系统的规范和细化。 (英语) Zbl 1086.68016号 西奥。计算。科学。 351,第2期,184-202(2006).MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人,Theor。计算。科学。351,第2号,184--202(2006;Zbl 1086.68016) 全文: 内政部 链接
马丁·威尔辛(编辑);德克·帕丁森(编辑);罗尔夫·亨尼克(编辑) 代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。 (英语) Zbl 1028.00034号 计算机科学课堂讲稿. 2755. 柏林:斯普林格。viii,457页(2003年)。MSC公司:00B25型 68-06 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}(ed.)等人,代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。柏林:施普林格出版社(2003;Zbl 1028.00034) 全文: 内政部 链接
斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 用于移动系统规范和细化的时空逻辑。 (英语) Zbl 1032.03028号 Pezzè,Mauro(编辑),《软件工程的基本方法》,2003年第六届FASE国际会议,作为欧洲软件理论和实践联合会议的一部分,2003年4月7日至11日在波兰华沙举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2621, 87-101 (2003).MSC公司:03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}等人,Lect。注释计算。科学。2621,87--101(2003;Zbl 1032.03028) 全文: 链接
约翰·克罗斯利。;伊曼·波尔莫莫;马丁·威尔辛 从规范证明中提取结构化程序。 (英语) 兹伯利0966.68120 Bert,Didier(编辑)等人,代数开发技术的最新趋势。1999年9月15日至18日,第14届国际研讨会,WADT'99,法国波纳斯酒庄。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1827, 419-437 (2000).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Crossley}等人,Lect。注释计算。科学。1827419-437(2000年;Zbl 0966.68120)
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 (英语) Zbl 0901.68116号 西奥。计算。科学。 173,第2期,393-443(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。173,编号2,393--443(1997;Zbl 0901.68116) 全文: 内政部
罗尔夫·亨尼克;马丁·威尔辛 行为规范。 (英语) Zbl 0831.68061号 Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。第139193-230页(1995年)。MSC公司:第68季度55 60年第68季度 68问题65 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Wirsing},北约ASI Ser。,序列号。F、 计算。系统。科学。139193-230(1995年;兹bl 08316.88061)
F.尼克尔。;Wirsing,M。 需求工程的正式方法。 (俄语。英文摘要) Zbl 0832.68070号 程序mirovanie 1993年,第6号,39-63(1993).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Nickl}和\textit{M.Wirsing},Programmirovanie 1993,编号6,39-63(1993;Zbl 0832.68070)
马丁·威尔辛(编辑);Jan A.Bergstra。(编辑) 代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。 (英语) Zbl 0745.68019号 计算机科学课堂讲稿. 394. 柏林等:Springer-Verlag。六、 第558页(1989年)。 审核人:D.Gruska(布拉迪斯拉发) MSC公司:68-06 68问题65 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}(编辑)和textit{J.A.Bergstra}(主编),代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0745.68019)
曼弗雷德·布罗伊;马丁·威尔辛;佩珀,彼得 关于编程语言的代数定义。 (英语) Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《美国医学杂志》。程序。语言系统。9,54-99(1987年;兹bl 062768009) 全文: 内政部 链接
埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 关系规范和观察语义。 (英语) Zbl 0637.68012号 计算机科学数学基础。第12次研讨会。,布拉迪斯拉发/捷克。1986年,Lect。注释计算。科学。233, 209-217 (1986). 审核人:M.果戈拉 MSC公司:68号01 60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;伯恩哈德·莫勒;佩珀,彼得;马丁·威尔辛 代数实现保持程序正确性。 (英语) Zbl 0597.68021号 科学。计算。程序。 7, 35-53 (1986).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,科学。计算。程序。7、35-53(1986年;Zbl 0597.68021) 全文: 内政部
彼得·帕平豪斯;马丁·威尔辛 非确定性三值逻辑:保序和保护真函数。 (英语) Zbl 0537.68021号 螺柱日志。 42, 1-22 (1983).MSC公司:60年第68季度 03B50号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Päppinghaus}和\textit{M.Wirsing},Stud.Log。42、1--22(1983年;Zbl 0537.68021) 全文: 内政部
曼弗雷德·布罗伊;马丁·威尔辛 广义异质代数和部分解释。 (英语) Zbl 0522.08001号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。159,1-34(1983年)。MSC公司:08A02号 60年第68季度 PDF格式BibTeX公司 XML格式
马丁·威尔辛 结构化代数规范。 (英语) Zbl 0514.68024号 《信息数学》,AFCET Colloq.,巴黎,1982,93-107(1982)。MSC公司:68第05页 60年第68季度 68号01 03B40型 PDF格式BibTeX公司 XML格式
雅塞克·莱斯齐洛夫斯基;马丁·威尔辛 一种在代数规范内或关于代数规范进行推理的系统。 (英语) Zbl 0496.68016号 编程,程序。内部Symp。,第五次座谈会,都灵,1982年,勒克特。注释计算。科学。137, 257-282 (1982).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
唐纳德·桑内拉;马丁·威尔辛 参数化规范的实现(扩展抽象)。 (英语) Zbl 0492.68023号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。注释计算。科学。140, 473-488 (1982).MSC公司:68第05页 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;马丁·威尔辛 关于抽象数据类型的代数扩展。 (英语) Zbl 0492.68024号 编程概念的形式化。int.Colloq.,西班牙佩尼斯科拉,1981年,法律。注释计算。科学。107, 244-251 (1981).MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
布罗伊,M。;多施,W。;B.穆勒。;Wirsing,M。 GOTOs-编程语言代数规范的研究。(扩展摘要)。 (英语) Zbl 0481.68028号 吉-11。贾勒斯塔格。,第三届欧洲理事会信息,慕尼黑,1981年,信息-Fachber。50. 109-121 (1981).MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
[德兰萨特,P。;科托夫,V.E。;高德尔,M.C。;特琳·G·。;N.D.琼斯。;施密特,D.A。;布罗伊,M。;Wirsing,M。;Boullier,P。;里普肯,K。;卡斯滕斯,美国。;齐默尔曼,E。;M·拉斯科夫斯基。] 语言和传统。1978年10月至1981年10月,罗克扬科特,《信息与自动化研究所(IRIA)》,《研究所组织文本》。 (法语) Zbl 0473.68078号 收藏“印度研讨会”。Rocquencourt/法国:国家信息与自动化研究所(Institute National de Recherche en Informatique et en Automatique)。176页F 56.00(1981年)。MSC公司:第68季度55 68-06 60年第68季度 65年第68季度 00亿Bxx PDF格式BibTeX公司 XML格式
F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 用一种广泛的语言编程:一组例子。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部
布罗伊,M。;Wirsing,M。 程序开发:从枚举到回溯。 (英语) Zbl 0443.68011号 Inf.流程。莱特。 10, 193-197 (1980).MSC公司:60年第68季度 68瓦99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing},Inf.过程。莱特。10、193--197(1980;Zbl 0443.68011) 全文: 内政部
布罗伊,M。;胡椒,P。;Wirsing,M。 关于程序之间的关系。 (英语) Zbl 0435.68017号 国际交响乐团。编程,程序。,1980年,巴黎。注释计算。科学。83, 59-78 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
布罗伊,M。;Wirsing,M。 作为抽象数据类型的编程语言。 (英语) Zbl 0433.68014号 Les arbres en algebre et en programmation,5ieme Colloq.,里尔1980,160-177(1980)。MSC公司:60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式
布罗伊,M。;R.格纳茨。;Wirsing,M。 问题spezifikation-eine Grundlage für Programmentwicklung。 (德语) 兹比尔0407.68005 可靠软件研讨会,第二届会议。德国。ACM章,波恩,1978年,申请。计算。科学。,Ber.公司。普拉克。Inf.14,235-246(1979)。MSC公司:68号01 68第05页 68问题65 PDF格式BibTeX公司 XML格式
布罗伊,M。;Wirsing,M。;财务,J.P。;A.奎尔。;雷米,J.L。 给定序列中最大长度升序子序列问题的方法求解。 (英语) Zbl 0406.68012号 Inf.流程。莱特。 8, 224-229 (1979).MSC公司:60年第68季度 68号01 68第05页 68瓦99 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《信息处理》。莱特。8224--229(1979年;Zbl 0406.68012) 全文: 内政部
布罗伊,M。;R.格纳茨。;Wirsing,M。 非确定性和非连续结构的语义。 (英语) Zbl 0406.03059号 项目建设,国际暑期学校。,马克托伯多夫1978年,Lect。注释计算。科学。69, 553-592 (1979).MSC公司:03D60年 68N99型 03E60年 68问题65 PDF格式BibTeX公司 XML格式