Model-based validation of industrial control systems
- Estévez, E.
- Marcos, M.
ISSN: 1551-3203
Année de publication: 2012
Volumen: 8
Número: 2
Pages: 302-310
Type: Article
Revue:
IEEE Transactions on Industrial Informatics