Journal article
Verification of PLC Programs given as Sequential Function Charts.
Publication Details
Authors: | Bauer, N.; Engell, S.; Huuck, R.; Lohmann, S.; Lukoschus, B.; Remelhe, M.; Stursberg, O. |
Publication year: | 2004 |
Journal: | Integration of Software Specification Techniques for Applications in Engineering |
Pages range : | 517–540. Springer |
Volume number: | 3147 of LNCS |
