automotive; formal reasoning; process formalization; safety; traceability;
机译:通过解决问题为设计学习提供适应和指导:DomoSim-TPC环境中的设计计划方法
机译:基于模型的框架,用于增加机电制作系统的跨学科设计
机译:使用基于模型的方法将化学过程的过程设计和控制器设计集成在一起
机译:在跨学科的基于模型的设计过程中提供指导
机译:通过过程综合,基于模型的过程设计和控制集成:开发高度可控且对环境无害的过程。
机译:基于模型的药物辊压实工艺设计方法
机译:基于模型的化工过程集成工艺设计与控制器设计
机译:基于模型的信号处理和遗传算法在舰载天线设计,布局优化中的应用。