Enrique
Blanco Viñuela
Publicaciones en las que colabora con Enrique Blanco Viñuela (5)
2015
-
Applying model checking to industrial-sized PLC programs
IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410
2014
-
Bringing automated model checking to PLC program development - A CERN case study
IFAC Proceedings Volumes (IFAC-PapersOnline)
-
Bringing automated model checking to plc program development - A CERN case study
Advances in the Astronautical Sciences
-
Modelling and formal verification of timing aspects in large PLC programs
IFAC Proceedings Volumes (IFAC-PapersOnline)
2013
-
Model-based automated testing of critical PLC programs
IEEE International Conference on Industrial Informatics (INDIN)