PLCTOOLS: design, formal validation, and code generation for programmable controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Luciano Baresi

Look up 'Luciano Baresi' in GoogleThis author has not been identified. Look up 'Marco Mauri' in GoogleThis author has not been identified. Look up 'Antonello Monti' in GoogleThis author has not been identified. Look up 'Mauro Pezzè' in Google

runs on WebDSL