Correct Hardware Design and Verification Methods
Publication year: 2005
: 978-3-540-32030-2
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.
: Computer Science, Hardware, algorithm, algorithms, model, model checking, verification
