共 50 条
- [31] Symbolic Analysis of Programmable Logic Controllers [J]. IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (10) : 2563 - 2575
- [34] Verifying Programmable Logic Controllers with Abstraction [J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 225 - +
- [35] VIRTUAL LAB FOR PROGRAMMABLE LOGIC CONTROLLERS [J]. 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
- [36] Predicate Abstraction for Programmable Logic Controllers [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 123 - 138
- [37] A novel hybrid MCDM approach to evaluate universities based on student perspective [J]. Scientometrics, 2023, 128 : 55 - 86
- [38] Generative Programming for Programmable Logic Controllers [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
- [39] ROLE OF PROGRAMMABLE LOGIC CONTROLLERS IN INDIA [J]. ELECTRONICS INFORMATION & PLANNING, 1981, 8 (09): : 651 - 664
- [40] PIPELINE CONTROL WITH PROGRAMMABLE LOGIC CONTROLLERS [J]. ISA TRANSACTIONS, 1977, 16 (01) : 73 - 78