×

找到31个文档(结果1-31)

基于SOC的混合系统正式规范和验证。 (英语) Zbl 1469.68063号

Codescu,Mihai(编辑)等人,代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9463, 151-169 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查海伦娜与旋转合奏。 (英语) Zbl 1321.68346号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,331-360(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复合参与者系统的统计模型检查。 (英语) Zbl 1394.68228号

Martí-Oliet,Narciso(编辑)等人,代数开发技术的最新趋势。第21届国际研讨会,2012年WADT,西班牙萨拉曼卡,2012年6月7日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-37634-4/pbk)。计算机科学课堂讲稿7841143-160(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用描述逻辑进行服务规范和匹配。基于制度的方法。 (英语) Zbl 1170.68534号

Meseguer,José(编辑)等人,代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。计算机科学课堂讲稿5140392-406(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。 (英语) Zbl 1028.00034号

计算机科学课堂讲稿. 2755. 柏林:斯普林格。viii,457页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于移动系统规范和细化的时空逻辑。 (英语) Zbl 1032.03028号

Pezzè,Mauro(编辑),《软件工程的基本方法》,2003年第六届FASE国际会议,作为欧洲软件理论和实践联合会议的一部分,2003年4月7日至11日在波兰华沙举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2621, 87-101 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

从规范证明中提取结构化程序。 (英语) 兹伯利0966.68120

Bert,Didier(编辑)等人,代数开发技术的最新趋势。1999年9月15日至18日,第14届国际研讨会,WADT'99,法国波纳斯酒庄。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1827, 419-437 (2000).
PDF格式BibTeX公司 XML格式引用

行为规范。 (英语) Zbl 0831.68061号

Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。第139193-230页(1995年)。
PDF格式BibTeX公司 XML格式引用

代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。 (英语) Zbl 0745.68019号

计算机科学课堂讲稿. 394. 柏林等:Springer-Verlag。六、 第558页(1989年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份