×

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

使用STL定位Simulink/Stateflow模型中的故障。 (英语) Zbl 1409.68168号

第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。197-206 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间逻辑作为过滤。 (英语) Zbl 1364.94156号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。11-20 (2016).
MSC公司:94甲12 03B44号
PDF格式BibTeX公司 XML格式引用

离散时间线性系统的语言制导控制器综合。 (英语) Zbl 1361.68114号

第15届ACM混合系统国际会议论文集:计算与控制,HSCC 2012,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1220-2)。95-104 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

监测连续信号的时间特性。 (英语) Zbl 1109.68518号

Lakhnech,Yassine(ed.)等人,定时和容错系统的形式化技术、建模和分析。关于定时系统的正式建模和分析的联合国际会议,FORMATS 2004,以及实时和容错系统的正式技术,FTRTFT 2004,法国格勒诺布尔,2004年9月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253152-166(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件