A formal engineering approach for control and monitoring systems in a service-oriented environment

Kevin Nagorny, Robert Harrison, Armando Walter Colombo, Gerhard Kreutz. A formal engineering approach for control and monitoring systems in a service-oriented environment. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 480-487, IEEE, 2013. [doi]

Authors

Kevin Nagorny

This author has not been identified. Look up 'Kevin Nagorny' in Google

Robert Harrison

This author has not been identified. Look up 'Robert Harrison' in Google

Armando Walter Colombo

This author has not been identified. Look up 'Armando Walter Colombo' in Google

Gerhard Kreutz

This author has not been identified. Look up 'Gerhard Kreutz' in Google