Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Departament
![Foto de Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)](/img/noimage.png)
![Foto de Royal Melbourne Institute of Technology University](/img/noimage_org.png)
Royal Melbourne Institute of Technology University
Melbourne, AustraliaPublicacions en col·laboració amb investigadors/es 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)