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]
No references recorded for this publication.
No citations of this publication recorded.