Analysis methodologies; Electronic control systems;
机译:关键控制系统模型的形式化分析方法:非线性分析与线性分析相结合
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:非线性系统的运行时间保证和形式化方法分析在非线性系统控制中的应用
机译:关键控制系统模型的形式化分析方法:非线性分析与线性分析相结合
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:非线性状态空间模型贝叶斯分析的自适应混合模型方法
机译:关键控制系统模型分析的形式化方法:结合非线性和线性分析