Correct-by-Construction Approaches for SoC Design

Construction

by: Roopak Sinha · Parthasarathi Roop · Samik Basu

Hardcover

ISBN: 978-1-4614-7863-8

ISBN-10: 1-4614-7863-4

Springer · 2013

See also (possibly by other authors):
 PaperbackCorrect-By-Construction Approaches for Soc Design