Applying Model Checking to Industrial-Sized PLC Programs
Publication date:
2015
Publisher version:
Citación:
IEEE Transactions on Industrial Informatics, 11(6), p. 1400-1410 (2015); doi:10.1109/TII.2015.2489184
Descripción física:
p. 1400-1410
Collections
- Artículos [35714]