Journal article
Automatische Verifikation von SPS-Programmen auf der Basis von Prozessmodellen.
Publication Details
Authors: | Kowalewski, S.; Stursberg, O.; Treseler, H. |
Publication year: | 1997 |
Journal: | Moderne Methoden des Regelungs- und Steuerungsentwurfes |
Pages range : | 198–204 |
