Aufsatz in einer Fachzeitschrift
An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems.
Details zur Publikation
Autor(inn)en: | Kowalewski, S.; Bauer, N.; Preußig, J.; Stursberg, O.; Treseler, H. |
Publikationsjahr: | 1999 |
Zeitschrift: | 14th IFAC World Congress |
Seitenbereich: | 121–126 |
Jahrgang/Band : | J |
