Reuse of components in formal modeling and verification of distributed control systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Valeriy Vyatkin, Hans-Michael Hanisch. Reuse of components in formal modeling and verification of distributed control systems. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]

This author has not been identified. Look up 'Valeriy Vyatkin' in GoogleThis author has not been identified. Look up 'Hans-Michael Hanisch' in Google

runs on WebDSL