Publicaciones en colaboración con investigadores/as de École Polytechnique Fédérale de Lausanne (2)

2015

  1. Applying model checking to industrial-sized PLC programs

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

2013

  1. Model-based automated testing of critical PLC programs

    IEEE International Conference on Industrial Informatics (INDIN)