Formal methods in PLC programming
By Georg Frey, L. Litz. Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0, 2000
325 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/f38fee6f03e899924b8e66bd4d0362d375953e87
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Hardware and Architecture
Citations in the corpus
- Software Engineering in Industrial Automation: State-of-the-Art Review (2013, methodology): “An early survey by Frey [107] overviews formal method use in PLC programming for their veri fi cation and validation.”
- Introduction to Industrial Control Networks (2013, unknown): “This research has resulted in several standards, the most influential of which are International Electrotechnical Commission (IEC) standards 61131 and IEC 61499 [9].”