×

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

混合自动机可达性分析中保护的时间触发转换。 (英语) Zbl 1497.93107号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 133-150 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用过程演算对混合系统进行严格的离散化。 (英语) Zbl 1348.68109号

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

随机可满足性模理论:概率混合系统分析的新技术。 (英语) Zbl 1143.68452号

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981172-186(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份