共 50 条
- [5] A Temporal Logic for Programmable Logic Controllers Automatic Control and Computer Sciences, 2021, 55 : 763 - 775
- [9] Diagnosability of Programmable Logic Controllers 2017 14TH INTERNATIONAL MULTI-CONFERENCE ON SYSTEMS, SIGNALS & DEVICES (SSD), 2017, : 319 - 324