共 50 条
- [1] Automatic Fault Localization for Programmable Logic Controllers [J]. FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 247 - 256
- [5] INDUSTRIAL COMMAND SYSTEMS WITH PROGRAMMABLE LOGIC CONTROLLERS AND COMPUTERS [J]. AUTOMATISME, 1978, 23 (9-10): : 277 - 283
- [7] A Temporal Logic for Programmable Logic Controllers [J]. Automatic Control and Computer Sciences, 2021, 55 : 763 - 775
- [9] EXPERIENCES WITH PROGRAMMABLE LOGIC CONTROLLERS [J]. PULP & PAPER-CANADA, 1980, 81 (02) : 73 - 75