Modular design and verification of component-based mechatronic systems with online-reconfiguration

Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp. Modular design and verification of component-based mechatronic systems with online-reconfiguration. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 179-188, ACM, 2004. [doi]

Authors

Holger Giese

This author has not been identified. It may be one of the following persons: Look up 'Holger Giese' in Google

Sven Burmester

This author has not been identified. Look up 'Sven Burmester' in Google

Wilhelm Schäfer

This author has not been identified. Look up 'Wilhelm Schäfer' in Google

Oliver Oberschelp

This author has not been identified. Look up 'Oliver Oberschelp' in Google