Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Département
Royal Melbourne Institute of Technology University
Melbourne, AustraliaPublications en collaboration avec des chercheurs 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)