Applying Atomicity and Model Decomposition to a Space Craft System in Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler. Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, pages 328-342, Springer, 2011. [doi]

This author has not been identified. Look up 'Asieh Salehi Fathabadi' in GoogleThis author has not been identified. Look up 'Abdolbaghi Rezazadeh' in GoogleThis author has not been identified. Look up 'Michael Butler' in Google

runs on WebDSL