An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems. - Research Information System | University of Kassel

Journal article

An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems.

Publication Details

Authors:

Kowalewski, S.; Bauer, N.; Preußig, J.; Stursberg, O.; Treseler, H.

Publication year:

1999

Journal:

14th IFAC World Congress

Pages range :

121–126

Volume number:

Authors/Editors