Publicaciones en colaboración con investigadores/as de Royal Melbourne Institute of Technology University (2)

2015

  1. Applying model checking to industrial-sized PLC programs

    IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410

2014

  1. Modelling and formal verification of timing aspects in large PLC programs

    IFAC Proceedings Volumes (IFAC-PapersOnline)