PLCs (programmable logic controllers); IEC 61131; Programming languages; Formal model; Synchronous languages; SIGNAL; Tool support;
机译:最新的PLC及其应用:IEC控制器MICREX-SX <通过IEC61131-3提高PLC编程效率的实践>
机译:最新PLC及其应用:IEC控制器Micrex-SX
机译:PLC国际标准编程IEC 61131-3和PLCOPEN简介
机译:SIGNAL中IEC 61131 PLC语言的同步模型
机译:电磁设备中的建模和故障检测-在同步电机和信号调理系统中的应用。
机译:PLC / PKC信号的机理模型暗示磷脂酸是趋化梯度传感的关键放大器
机译:安全PLC控制器实现IEC 61131-3符合简单的SAT Solver:在制造系统中的应用