Model-based validation of industrial control systems

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

ISSN: 1551-3203

Year of publication: 2012

Volume: 8

Issue: 2

Pages: 302-310

Type: Article

DOI: 10.1109/TII.2011.2174248 GOOGLE SCHOLAR