×

用于安全目标的高效内存“实时”控制器的合成。 (英语) 兹比尔1361.68164

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

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
91A05型 双人游戏
91A80型 博弈论的应用
93亿B50 合成问题
PDF格式BibTeX公司 XML格式引用
全文: 内政部