Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Departamento
Royal Melbourne Institute of Technology University
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as de Royal Melbourne Institute of Technology University (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)