VICTOR MANUEL
GONZALEZ SUAREZ
Profesor Titular de Universidad
Royal Melbourne Institute of Technology University
Melbourne, AustraliaRoyal Melbourne Institute of Technology University-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
2014
-
Modelling and formal verification of timing aspects in large PLC programs
IFAC Proceedings Volumes (IFAC-PapersOnline)