Formal Analysis and Verification of an OFDM Modem Design using HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abu Nasser M. Abdullah, Behzad Akbarpour, Sofiène Tahar. Formal Analysis and Verification of an OFDM Modem Design using HOL. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 189-190, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Abu Nasser M. Abdullah' in GoogleThis author has not been identified. Look up 'Behzad Akbarpour' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL