Search Results
-
Applying Model Checking to Industrial-Sized PLC Programs [2015]
- Category:
- Artículos
- Authors:
- 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
- Date:
- 01 of January of 2015
- It Is a Part of:
- IEEE Transactions on Industrial Informatics