×

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

编辑定时自动机的距离。 (英语) Zbl 1360.68544号

第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。303-312 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

实时系统的定量定时仿真功能和细化指标。 (英语) 兹比尔1361.68019

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。273-282 (2013).
PDF格式BibTeX公司 XML格式引用

为实现安全目标,综合使用内存高效的“实时”控制器。 (英语) Zbl 1361.68164号

2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。221-230 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段