Automation; Petri nets; Control systems; System validation;
机译:增强具有特征和设计模式的分布式制造自动化系统的基于模型的工程方法
机译:增强具有特征和设计模式的分布式制造自动化系统的基于模型的工程方法
机译:一种基于模型的工业自动化系统能源成本分析的方法
机译:工业自动化系统软件工程中基于模型验证的集成研究
机译:基于模型的复杂轮廓生成方法,用于使用计算机视觉进行过程自动化
机译:基于模型的医学网络物理系统支持验证方法
机译:基于模型的智能电网分布式自动化系统设计:实现和验证