Journal article
Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models.
Publication Details
Authors: | Kowalewski, S.; Engell, S.; Preußig, J.; Stursberg, O. |
Publication year: | 1999 |
Journal: | Automatica |
Pages range : | 505–528 |
Volume number: | 25 |
ISSN: | 0005-1098 |
