Model-based validation of industrial control systems
- Estévez, E.
- Marcos, M.
ISSN: 1551-3203
Datum der Publikation: 2012
Ausgabe: 8
Nummer: 2
Seiten: 302-310
Art: Artikel
ISSN: 1551-3203
Datum der Publikation: 2012
Ausgabe: 8
Nummer: 2
Seiten: 302-310
Art: Artikel