Dipartimento di Informatica, Universita di Torino, Italy;
机译:用于基于模型的关系模型诊断的自动组件抽象
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:基于热流模型的自动HVAC故障检测和诊断系统生成
机译:基于模型诊断的时变系统模型的自动抽象
机译:使用时空数据和设计模型自动改变基于结构的结构诊断
机译:基于对均衡的线性化行为的一类时变非线动力系统的近似可达性:应用于流行模型的应用
机译:基于模型的基于模型模型的自动组件抽象