Improving Dependability of Logic Controllers by Algorithmic Verification. - Research Information System | University of Kassel - CONVERIS Research Information System

Go to Header Go to Navigation Go to Content Go to Footer

Journal article

Improving Dependability of Logic Controllers by Algorithmic Verification.

Publication Details

Authors:

Stursberg, O.; Lohmann, S.; Engell, S.

Publication year:

2005

Journal:

16th IFAC World Congress

Pages range :

Mo–E17–TO/6

Authors/Editors

Stursberg, Olaf