Mapping SMV models to event-B models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samah Hassan, Mohamed Taher, Ayman M. Wahba. Mapping SMV models to event-B models. In Yervant Zorian, Imtinan Elahi, André Ivanov, Ashraf Salem, editors, 5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010. pages 161-166, IEEE, 2010. [doi]

This author has not been identified. Look up 'Samah Hassan' in GoogleThis author has not been identified. Look up 'Mohamed Taher' in GoogleThis author has not been identified. Look up 'Ayman M. Wahba' in Google

runs on WebDSL