Sherif G. Aly, Ashraf M. Salem. Mobile Embedded System Co-Verification Modeling Using Java Observability. In Hamid R. Arabnia, Laurence Tianruo Yang, editors, Proceedings of the International Conference on Embedded Systems and Applications, ESA 03, June 23 - 26, 2003, Las Vegas, Nevada, USA. pages 151-154, CSREA Press, 2003.
Abstract is missing.