VICTOR MANUEL
GONZALEZ SUAREZ
Profesor Titular de Universidad
École Polytechnique Fédérale de Lausanne
Lausana, SuizaÉcole Polytechnique Fédérale de Lausanne-ko ikertzaileekin lankidetzan egindako argitalpenak (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)