MODELADO, INSPECCIÓN, DIAGNÓSTICO Y AUTOMATIZACIÓN DE SISTEMAS INDUSTRIALES
MIDAS
![Foto de MODELADO, INSPECCIÓN, DIAGNÓSTICO Y AUTOMATIZACIÓN DE SISTEMAS INDUSTRIALES](/img/grupo.png)
![Foto de École Polytechnique Fédérale de Lausanne](/img/noimage_org.png)
École Polytechnique Fédérale de Lausanne
Lausana, SuizaPublicacións en colaboración con investigadores/as de École Polytechnique Fédérale de Lausanne (2)
2015
-
Applying model checking to industrial-sized PLC programs
IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410
2013
-
Model-based automated testing of critical PLC programs
IEEE International Conference on Industrial Informatics (INDIN)