A CSP Approach to Control in Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve Schneider, Helen Treharne, Heike Wehrheim. A CSP Approach to Control in Event-B. In Dominique Méry, Stephan Merz, editors, Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Volume 6396 of Lecture Notes in Computer Science, pages 260-274, Springer, 2010. [doi]

This author has not been identified. Look up 'Steve Schneider' in GoogleThis author has not been identified. Look up 'Helen Treharne' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL