共 50 条
- [1] A Verification Approach for Programmable Logic Controllers [J]. INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016), 2016, : 314 - 319
- [7] A Temporal Logic for Programmable Logic Controllers [J]. Automatic Control and Computer Sciences, 2021, 55 : 763 - 775
- [8] EXPERIENCES WITH PROGRAMMABLE LOGIC CONTROLLERS [J]. PULP & PAPER-CANADA, 1980, 81 (02) : 73 - 75
- [9] Programmable controllers are full of logic [J]. Jenning, R., 2012, DMG World Media (UK) Ltd., 120/130 Station Road, Redhill, Surrey, RH1 1ET, United Kingdom (35):