克里希南德·查特吉;Vinayak S.普拉布。 用于安全目标的高效内存“实时”控制器的合成。 (英语) 兹比尔1361.68164 2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。221-230 (2011). 引用于1文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 91A05型 双人游戏 91A80型 博弈论的应用 93亿B50 合成问题 关键词:控制;安全目标;时间自动机;定时游戏 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},in:第14届ACM混合系统国际会议论文集:计算和控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约州纽约市:计算机协会(ACM)。221--230(2011年;Zbl 1361.68164) 全文: 内政部