Login / Signup
Experience with Embedding Hardware Description Languages in HOL.
Richard J. Boulton
Andrew D. Gordon
Michael J. C. Gordon
John Harrison
John Herbert
John Van Tassel
Published in:
TPCD (1992)
Keyphrases
</>
description languages
description language
low cost
real time
hardware implementation
web services
mobile devices
intelligent agents
software architecture
embedded systems
theorem prover
semantic web services