×

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

在模型和代码级别对健壮性进行形式化分析。 (英语) Zbl 1364.93249号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-3955-1)。125-134 (2016).
MSC公司:93B40码 90C22型 93B35型 68纳米30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

控制命令软件的闭环分析。 (英语) 兹比尔1364.93504

第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。108-117 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

出版年份

主字段