内克米耶·奥扎伊 触发间混合自动机：责任敏感安全的形式主义。 （英语） Zbl 07300873号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第32条，第2页（2020年）。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） PDF格式BibTeX公司 XML格式引用 \textit{N.Ozay}，in：第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，澳大利亚悉尼和虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第32条，第2页（2020；Zbl 07300873） 全文： 内政部