PLCTOOLS: design, formal validation, and code generation for programmable controllers

Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè. PLCTOOLS: design, formal validation, and code generation for programmable controllers. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000. pages 2437-2442, IEEE, 2000. [doi]

Abstract

Abstract is missing.