英戈·布吕克纳
人员信息
SPARQL查询
优化列表
2000 – 2009
2008 【b1】 英戈·布吕克纳 :
切片集成验证的正式规范。 德国奥尔登堡大学, 2008 ,第1-248页 [j3] 英戈·布吕克纳 , 克劳斯博士 , 伯恩德·芬克拜纳 , 海克·韦尔海姆 :
切片抽象。 芬丹。 信息学 89 ( 4 ) : 369-392 ( 2008 ) 2007 【c4】 英戈·布吕克纳 , 克劳斯·达格 , 伯恩德·芬克贝纳 , 海克·韦尔海姆 :
切片抽象。 FSEN公司 2007 : 17-32 【c3】 英戈·布吕克纳 :
用于验证的切片并发实时系统规范。 国际单项体育联合会 2007 : 54-74 2006 [注2] 英戈·布吕克纳 , 比约恩·梅茨勒 , 海克·韦尔海姆 :
通过演绎验证优化形式规范的切片。 Nord.J.计算。 13 ( 1-2 ) : 22-45 ( 2006 ) 2005 【c2】 英戈·布吕克纳 , 海克·韦尔海姆 :
划分用于验证的集成形式化方法。 ICFEM公司 2005 : 360-374 【c1】 英戈·布吕克纳 , 海克·韦尔海姆 :
切片对象Z验证规范。 ZB公司 2005 : 414-433 2004 [j1] Ralf Buschermöhle公司 , 马克·布罗肯斯 , 英戈·布吕克纳 , 沃纳·达姆 , 威廉·哈塞尔布林 , 伯恩哈德·约斯科 , 克里斯托夫·舒尔特 , 托马斯·沃尔夫 :
模型检查(Grundlagen和Praxiserfahrungen)。 通知。 Spektrum公司 27 ( 2 ) : 146-158 ( 2004 )