Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Saila
![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, 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)