×
安德烈·普拉泽

动力系统的逻辑。 （英语） Zbl 1362.68178号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-0-7695-4769-5）。13-24 (2012).

引用于15文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑
37B10号机组 符号动力学
93立方厘米 控制理论中的应用模型

关键词：

动力系统逻辑；动态逻辑；微分动态逻辑；混合系统；公理化；演绎
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。13-24（2012；Zbl 1362.68178）
全文： 内政部