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.
Abstract is missing.