×

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

用于重写的线性时态逻辑的基于重写的模型检查器。 (英语) Zbl 1291.68244号

Kniesel,Günter(编辑)等人,第九届基于规则的编程国际研讨会(2008年规则),奥地利哈根堡哈根堡城堡,2008年7月14日至18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记290,19-36(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写Maude模型检查器的线性时序逻辑。 (英语) Zbl 1306.68099号

厄尔夫茨基,彼得·萨巴(编辑),重写逻辑及其应用。2010年3月20日至21日,作为ETAPS 2010的卫星活动,在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-16309-8/pbk)。计算机科学课堂讲稿6381208-225(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

状态/事件LTL的部分订单减少。 (英语) Zbl 1211.68244号

Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423307-321(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写的时间逻辑:温和的介绍。 (英语) Zbl 1143.68459号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065354-382(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

筛选结果依据…

文档类型

出版年份

主字段