Aufsatz in einer Fachzeitschrift
Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models.
Details zur Publikation
Autor(inn)en: | Kowalewski, S.; Engell, S.; Preußig, J.; Stursberg, O. |
Publikationsjahr: | 1999 |
Zeitschrift: | Automatica |
Seitenbereich: | 505–528 |
Jahrgang/Band : | 25 |
ISSN: | 0005-1098 |
