Model-based validation of industrial control systems

  1. Estévez, E.
  2. Marcos, M.
Revista:
IEEE Transactions on Industrial Informatics

ISSN: 1551-3203

Año de publicación: 2012

Volumen: 8

Número: 2

Páginas: 302-310

Tipo: Artículo

DOI: 10.1109/TII.2011.2174248 GOOGLE SCHOLAR