On controller and plant modeling for model-based formal verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko. On controller and plant modeling for model-based formal verification. 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 'Andrei Lobov' in GoogleThis author has not been identified. Look up 'Jose L. Martinez Lastra' in GoogleThis author has not been identified. Look up 'Reijo Tuokko' in Google

runs on WebDSL