A Toolset for the Specification and Verification of Embedded Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah. A Toolset for the Specification and Verification of Embedded Systems. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4. pages 1539-1545, CSREA Press, 2003.

This author has not been identified. Look up 'Mohamed Larbi Rebaiaia' in GoogleThis author has not been identified. Look up 'Mohamed Benmohamed' in GoogleThis author has not been identified. Look up 'Jihad Mohamad Jaam' in GoogleThis author has not been identified. Look up 'Ahmad Hasnah' in Google

runs on WebDSL