×

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

分支时间规范的状态/事件软件验证。 (英语) 兹比尔1137.68432

Romijn,Judi(编辑)等人,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。计算机科学课堂讲稿3771,53-69(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界模型检查的完整性和复杂性。 (英语) Zbl 1202.68244号

Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 85-96 (2004).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于状态/事件的软件模型检查。 (英语) 兹比尔1196.68129

Boiten,Eerke A.(编辑)等人,《综合形式方法》。第四届国际会议,IFM 2004,英国坎特伯雷,2004年4月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999128-147(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发C程序的自动组合抽象细化:一种两级方法。 (英语) Zbl 1271.68081号

Dawar,Anuj(编辑),SoftMC 2003。2003年6月26日至27日,加拿大渥太华,软件模型检查研讨会(2003年CAV卫星研讨会)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》89,第3期,417-432(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

主字段