Verifying Performance of Supervised Plants

Jasen Markovski, Michel A. Reniers. Verifying Performance of Supervised Plants. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 52-61, IEEE, 2012. [doi]

Authors

Jasen Markovski

This author has not been identified. Look up 'Jasen Markovski' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google