VICTOR MANUEL
GONZALEZ SUAREZ
Profesor Titular de Universidad
École Polytechnique Fédérale de Lausanne
Lausana, SuizaPublicaciones en colaboración con investigadores/as de École Polytechnique Fédérale de Lausanne (2)
2015
-
Applying model checking to industrial-sized PLC programs
IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410
2013
-
Model-based automated testing of critical PLC programs
IEEE International Conference on Industrial Informatics (INDIN)