D. Pollmacher, W. Zimmermann, Hans-Michael Hanisch. Translation validation for model-based code-generators for PLCs. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]
Abstract is missing.