Correct Hardware Design and Verification Methods
Publication year: 2005
ISBN: 978-3-540-32030-2
Internet Resource: Please Login to download book
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Subject: Computer Science, Hardware, algorithm, algorithms, model, model checking, verification
