×

找到47份文件(结果1-47)

过近似和欠近似软件分析之间的信息交换。 (英语) Zbl 1525.68026号

Schlingloff,Bernd-Holger(编辑)等人,《软件工程和形式化方法》。第20届国际会议,SEFM 2022,德国柏林,2022年9月26-30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13550, 37-54 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定义和验证持久不透明度:持久软件事务内存的正确性。 (英语) 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格式引用

测试和证明。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使部分有序执行的线性化能力合成。 (英语) Zbl 1514.68164号

Furia,Carlo A.(编辑)等人,《综合形式方法》。2018年9月5日至7日,第14届国际会议,2018年国际单项体育联合会,爱尔兰Maynooth。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11023, 110-129 (2018).
PDF格式BibTeX公司 XML格式引用

信息流证书。 (英语) Zbl 1518.68067号

Fischer,Bernd(ed.)等人,《计算的理论方面——2018年ICTAC》。2018年10月16日至19日,第十五届国际学术讨论会,南非斯特伦博什。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11187, 435-454 (2018).
MSC公司:68号30 68页30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明悲观STM的不透明度。 (英语) Zbl 1432.68070号

Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第35条,第17页。(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于价值还是基于冲突?STM的不透明度定义。 (英语) Zbl 1445.68055号

Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10580, 118-135 (2017).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱内存模型上并发程序的验证。 (英语) Zbl 1482.68147号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第13届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 3-24 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

朝向一种防止饥饿的螺纹技术。 (英语) Zbl 1354.68179号

布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记9681193-209(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证事务互斥锁的不透明度。 (英语) Zbl 1427.68190号

Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9109, 161-177 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

正确的系统设计。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

健全完整的抽象图形转换。 (英语) Zbl 1349.68106号

Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学课堂讲稿7021,92-107(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成分CSP跟踪细化检查。 (英语) Zbl 1335.68151号

Miller,Alice(ed.)等人,《第八届关键系统自动化验证国际研讨会论文集》(AVoCS 2008),英国格拉斯哥,2008年9月30日至10月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记250,第2期,135-151(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

集成形式化方法。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。 (英语) Zbl 1156.68005号

计算机科学课堂讲稿5423.柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。x、 第367页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

合金作为重构检查器? (英语) 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格式引用
全文: 内政部

部分Kripke结构的有界模型检查。 (英语) Zbl 1161.68589号

Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160380-394(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过非原子求精证明线性化能力。 (英语) Zbl 1213.68370号

Davies,Jim(编辑)等,《综合形式方法》。2007年7月2日至5日,第六届国际会议,IFM 2007,英国牛津。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73209-9/pbk)。计算机科学课堂讲稿4591195-214(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

切片抽象。 (英语) Zbl 1141.68457号

Arbab,Farhad(编辑)等人,软件工程基础国际研讨会。国际研讨会,FSEN 2007,伊朗德黑兰,2007年4月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75697-2/pbk)。计算机科学课堂讲稿476717-32(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用数据和过程重构面向对象的规范。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用动态元建模分析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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于验证的切片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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

保留更改中的属性。 (英语) Zbl 1104.68426号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿3188330-343(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查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格式引用
全文: 内政部

时序逻辑属性的继承。 (英语) Zbl 1253.68223号

Najm,Elie(编辑)等,开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议,2003年FMOODS,2003年11月19-21日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20491-1/pbk)。莱克特。注释计算。科学。2884, 79-93 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在非原子精炼中使用耦合模拟。 (英语) Zbl 1028.68541号

Bert,Didier(ed.)等人,ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议,芬兰图尔库,2003年6月4-6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2651, 127-147 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

故障细化的部分订单减少。 (英语) Zbl 0958.68102号

Castellani,Ilaria(编辑)等人,EXPRESS’99。第六届并发表达能力国际研讨会,荷兰埃因霍温,1999年8月23日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。27,14页,仅电子版(1999年)。
PDF格式BibTeX公司 XML格式引用

带有FDR的CSP-OZ型号检查规范。 (英语) Zbl 0963.68128号

Araki,Keijiro(编辑)等人,IFM 99。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:斯普林格。315-334 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段