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