Eero Siivola, Seppo Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin. Requirement verification in simulation-based automation testing. In 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016. pages 740-743, IEEE, 2016. [doi]
Abstract is missing.