×

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

使用布尔可满足性模模拟的铁路调度。 (英语) Zbl 07728836号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 56-73 (2023).
PDF格式BibTeX公司 XML格式引用

快速三值抽象位向量算法。 (英语) Zbl 1498.68166号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 242-262 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统简洁抽象的增量计算。 (英语) Zbl 1348.68133号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。《计算机科学讲义》6919271-285(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过优化基于抽象的质量估计来发现混合系统的错误。 (英语) Zbl 1246.68158号

凯瑟琳·杜波伊斯(编辑),《测试与证明》。第三届国际会议,TAP 2009,瑞士苏黎世,2009年7月2日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02948-6/pbk)。计算机科学讲座笔记5668153-168(2009)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于混合系统验证的基于语言的抽象细化。 (英语) Zbl 1132.68471号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349151-166(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份