Model-based automated testing of critical PLC programs

Borja Fernandez Adiego, Enrique Blanco Vinuela, Victor M. Gonzalez Suarez, Simon Bliudze. Model-based automated testing of critical PLC programs. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 722-727, IEEE, 2013. [doi]

Authors

Borja Fernandez Adiego

This author has not been identified. Look up 'Borja Fernandez Adiego' in Google

Enrique Blanco Vinuela

This author has not been identified. Look up 'Enrique Blanco Vinuela' in Google

Victor M. Gonzalez Suarez

This author has not been identified. Look up 'Victor M. Gonzalez Suarez' in Google

Simon Bliudze

This author has not been identified. Look up 'Simon Bliudze' in Google