Searching for "Formalization of Fixed-Point Arithmetic in HOL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL
by Behzad Akbarpour, Sofièene Tahar, So ene Tahar, Abdelkader Dekdouk — 2002 — In Integrated Formal Methods, Lecture Notes in Computer Science
…Formalization of Cadence SPW Fixed-Point Arithmetic in HOL Behzad Akbarpour, Soene Tahar…
Cited by 2 (2 self) – Add To MetaCart

Emad Semicon. Co. Ltd., Tehran, Iran. TEACHING EXPERIENCE
by Dr. Behzad Akbarpour
… Papers 1. B. Akbarpour and S. Tahar, and A. Dekdouk, Formalization of Fixed-Point Arithmetic in HOL…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB