...
机译:混合系统验证中结合控制和数据抽象
INRIA-Grenoble, Rhône-Alpes, Montbonnot Saint Martin, France;
Abstract interpretation; hybrid systems; logico-numerical properties; synchronous languages verification;
机译:评估数据抽象助手,一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:评估数据抽象助手,一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
机译:混合系统验证中的控制和数据抽象
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:将计算机科学与控制理论方法结合起来验证混合系统