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]
@inproceedings{AdiegoVSB13,
title = {Model-based automated testing of critical PLC programs},
author = {Borja Fernandez Adiego and Enrique Blanco Vinuela and Victor M. Gonzalez Suarez and Simon Bliudze},
year = {2013},
doi = {10.1109/INDIN.2013.6622973},
url = {http://dx.doi.org/10.1109/INDIN.2013.6622973},
researchr = {https://researchr.org/publication/AdiegoVSB13},
cites = {0},
citedby = {0},
pages = {722-727},
booktitle = {11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013},
publisher = {IEEE},
}