共 50 条
- [21] VIRTUAL LAB FOR PROGRAMMABLE LOGIC CONTROLLERS 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
- [22] Predicate Abstraction for Programmable Logic Controllers FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 123 - 138
- [23] A Verification Approach for Programmable Logic Controllers INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016), 2016, : 314 - 319
- [24] EXPERIENCES WITH PROGRAMMABLE LOGIC CONTROLLERS. Pulp and Paper Canada, 1980, 81 (02): : 73 - 75
- [25] Programmable logic controllers in process automation PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE OF DAAAM NATIONAL ESTONIA, 2004, : 63 - 65
- [26] Generative Programming for Programmable Logic Controllers ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
- [28] ROLE OF PROGRAMMABLE LOGIC CONTROLLERS IN INDIA ELECTRONICS INFORMATION & PLANNING, 1981, 8 (09): : 651 - 664
- [30] Towards Obfuscation of Programmable Logic Controllers 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, 2023,