Model-based automated testing of critical PLC programs.

Borja Fernandez Adiego, Enrique Blanco Viuela, Vctor M. Gonzlez Surez, Simon Bliudze

Browse the full INDIN paper archive.