×

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

模型检查实时系统。 (英语) Zbl 1392.68235号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

行为规范理论的线性时间分支时间谱。 (英语) Zbl 1433.68213号

Steffen,Bernhard(编辑)等人,SOFSEM 2017:计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议,爱尔兰利默里克,2017年1月16日至20日,会议记录。查姆:施普林格。莱克特。注释计算。科学。10139, 49-61 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过开放映射为高维自动机提供历史保护的双相似性。 (英语) Zbl 1334.68117号

Kozen,Dexter(ed.)等人,第29届编程语义数学基础会议论文集(MFPS XXIX),美国洛杉矶新奥尔良,2013年6月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》298165-178(2013)。
PDF格式BibTeX公司 XML格式引用

实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

无限在能量约束的加权时间自动机中运行。 (英语) Zbl 1171.68524号

Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,33-47(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份