Journal article
An Open Software Architecture for the Verification of Industrial Controllers.
Publication Details
Authors: | Treseler, H.; Stursberg, O.; Chung, P.; Yang, S. |
Publication year: | 2001 |
Journal: | Journal of Universal Computer Science |
Pages range : | 37–53 |
Volume number: | 7 |
ISSN: | 0948-695X |
eISSN: | 0948-6968 |
