Aufsatz in einer Fachzeitschrift
Verification of PLC Programs given as Sequential Function Charts.
Details zur Publikation
Autor(inn)en: | Bauer, N.; Engell, S.; Huuck, R.; Lohmann, S.; Lukoschus, B.; Remelhe, M.; Stursberg, O. |
Publikationsjahr: | 2004 |
Zeitschrift: | Integration of Software Specification Techniques for Applications in Engineering |
Seitenbereich: | 517–540. Springer |
Jahrgang/Band : | 3147 of LNCS |
