Design and Verification of Microprocessor Systems for High-Assurance Applications

Verification

by David S. Hardin

Paperback

ISBN: 978-1-4899-8459-3

ISBN-10: 1-4899-8459-3

Springer · 2014

See also:
2010HardcoverDesign and Verification of Microprocessor Systems for High-Assurance Applications