Model-based validation of industrial control systems
- Estévez, E.
- Marcos, M.
ISSN: 1551-3203
Argitalpen urtea: 2012
Alea: 8
Zenbakia: 2
Orrialdeak: 302-310
Mota: Artikulua
Aldizkaria:
IEEE Transactions on Industrial Informatics