×

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

概率混合系统可达性的有界验证。 (英语) Zbl 1514.68139号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 240-256 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的形式化建模、分析和验证。 (英语) Zbl 1444.68105号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
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名

出版年份

全部的 前3名

主字段