共 50 条
- [31] Towards Obfuscation of Programmable Logic Controllers 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, 2023,
- [34] From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 353 - 360
- [36] An empirical study of control logic specifications for programmable logic controllers Empirical Software Engineering, 2014, 19 : 655 - 677
- [40] Graphical development of software for programmable logic controllers 2006 12TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE, VOLS 1-4, 2006, : 1960 - +