...
机译:可编程逻辑控制器的形式化建模与综合
PLC; Formal specification; Code synthesis; Embedded software;
机译:可编程逻辑控制器的形式化建模与综合
机译:建模可编程逻辑控制器以进行逻辑验证
机译:用于核电站网络安全调查的加压器动态模型和模拟可编程逻辑控制器
机译:可编程逻辑控制器无功行为模型的跟踪指导综合
机译:使用可编程逻辑控制器设计和开发用于动态负载仿真的物理模型。
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:用不断发展的逻辑程序建模自适应控制器