Artículos
-
Applying Model Checking to Industrial-Sized PLC Programs [2015]
- Categoría:
- Artículos
- Autores:
- Víctor Manuel González Suárez , Jan Olaf Blech , Simon Bliudze , Jean Charles Tournier , Enrique Blanco Viñuela , Daniel Darvas , Borja Fernández Adiego
- Fecha:
- 01 de Enero de 2015
- Es parte de:
- IEEE Transactions on Industrial Informatics