机译:结合基于案例和基于模型的推理的多模式诊断:形式和实验分析
机译:与RCM兼容的土地利用变化动力学模型框架
机译:与RCM兼容的土地利用变化动力学模型框架
机译:基于案例和基于模型的RCM分析框架
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:基于模型的微型突触后电流分析框架
机译:结合基于案例和基于模型的推理的多模式诊断:形式和实验分析
机译:实现,模拟和验证验证器(DIRCm)和etti Realtidsramver(在实时框架中实现,模拟和验证DIRCm模型)。