Aufsatz in einer Fachzeitschrift
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems
Details zur Publikation
Autor(inn)en: | Kowalewski, S.; Stursberg, O.; Bauer, N. |
Publikationsjahr: | 2001 |
Zeitschrift: | European Journal of Control |
Seitenbereich: | 366–381 |
Jahrgang/Band : | 7 |
Heftnummer: | 4 |
ISSN: | 0947-3580 |
eISSN: | 1435-5671 |
DOI-Link der Erstveröffentlichung: |
