control engineering computing; factory automation; invasive software; Petri nets; programmable controllers;
机译:结合软件方法以有效部署可编程逻辑控制器(PLC)
机译:结合软件方法以有效部署可编程逻辑控制器(PLC)
机译:使用持续时间计算来验证可编程逻辑控制器系统
机译:关于安全可编程逻辑控制器白名单自动生成方法的实验验证
机译:将移动目标防御技术应用于可编程逻辑控制器的安全性
机译:关于死产儿的人工呼吸:通过不同方法获得的通气量。实验性查询
机译:可编程逻辑控制器的基于优化的验证方法