Aufsatz in einer Fachzeitschrift
The Batch-Evaporator: A Benchmark Example for Safety Analysis of Processing Systems under Logic Control.
Details zur Publikation
Autor(inn)en: | Kowalewski, S.; Stursberg, O. |
Publikationsjahr: | 1998 |
Zeitschrift: | 4th Int. Workshop on Discrete Event Systems |
Seitenbereich: | 302–307 |
