共 50 条
- [33] 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
- [35] Teaching programmable logic controllers: a hands-on and skill-building approach 2024 IEEE 7TH INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, ICPS 2024, 2024,
- [37] An empirical study of control logic specifications for programmable logic controllers Empirical Software Engineering, 2014, 19 : 655 - 677