Referenced Items are not available for this document.
The following topics are dealt with: formal methods; computer aided design; hardware verification; SAT-based methods; software verification; model checking; automata theory; theorem proving; and testing
Published in:
Formal Methods in Computer Aided Design, 2006. FMCAD '06
Date of Conference: 12-16 Nov. 2006
- Page(s):
- i - iii
- Print ISBN:
- 0-7695-2707-8
- INSPEC Accession Number:
- 9297063
- Conference Location :
- San Jose, CA
- Digital Object Identifier :
- 10.1109/FMCAD.2006.17
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
