Aufsatz in einer Fachzeitschrift
An Open Software Architecture for the Verification of Industrial Controllers.
Details zur Publikation
Autor(inn)en: | Treseler, H.; Stursberg, O.; Chung, P.; Yang, S. |
Publikationsjahr: | 2001 |
Zeitschrift: | Journal of Universal Computer Science |
Seitenbereich: | 37–53 |
Jahrgang/Band : | 7 |
ISSN: | 0948-695X |
eISSN: | 0948-6968 |
