Aufsatz in einer Fachzeitschrift
Rechnergestützte und modellbasierte Verifikation von SPS-Programmen f¨ur verfahrenstechnische Prozesse.
Details zur Publikation
Autor(inn)en: | Kowalewski, S.; Stursberg, O.; Treseler, H. |
Publikationsjahr: | 1997 |
Zeitschrift: | GMA-Tagung Sicherheitstechnik und Automatisierung |
Seitenbereich: | 169–180. VDI |
Jahrgang/Band : | 1336 / VDI-Reihe |