机译：基于早期模型的汽车控制系统软件实现的设计和验证
机译：基于模型的设计方法，用于使用汉密尔顿港口系统进行汽车控制系统的仿真和虚拟原型制作
机译：基于模型的模型设计方法，用于使用Port-Hamiltonian系统的汽车控制系统模拟和虚拟原型设计
机译：编译推理系统和基于模型的推理系统的比较及其在航空电子系统诊断中的适用性
机译：基于自适应阈值的基于模型的系统故障诊断及其在汽车电气系统中的应用
机译：安全可互操作的EHR系统的基于模型的设计和实现
机译：动态系统基于模型推理的约束处理技术
机译：使用基于模型的推理开发实时故障诊断系统的体系结构
