Aufsatz in einer Fachzeitschrift
Improving Dependability of Logic Controllers by Algorithmic Verification.
Details zur Publikation
Autor(inn)en: | Stursberg, O.; Lohmann, S.; Engell, S. |
Publikationsjahr: | 2005 |
Zeitschrift: | 16th IFAC World Congress |
Seitenbereich: | Mo–E17–TO/6 |
