Journal article
Rechnergestützte und modellbasierte Verifikation von SPS-Programmen f¨ur verfahrenstechnische Prozesse.
Publication Details
Authors: | Kowalewski, S.; Stursberg, O.; Treseler, H. |
Publication year: | 1997 |
Journal: | GMA-Tagung Sicherheitstechnik und Automatisierung |
Pages range : | 169–180. VDI |
Volume number: | 1336 / VDI-Reihe |
