Embedded systems and software validation /
Roychoudhury, Abhik.
Embedded systems and software validation / Abhik Roychoudhury. - xii, 254 pages : illustrations ; 25 cm. - The Morgan Kaufmann series in systems on silicon . - Morgan Kaufmann series in systems on silicon. .
Title on Cover: Security Science: The theory and Practice of Security
Includes bibliographical references (p. 233-239) and index.
9780123742308 (hardcover : alk. paper) 9780123944368
Embedded computer systems--Design and construction.
Embedded computer systems--Testing.
004.1 / R888
Embedded systems and software validation / Abhik Roychoudhury. - xii, 254 pages : illustrations ; 25 cm. - The Morgan Kaufmann series in systems on silicon . - Morgan Kaufmann series in systems on silicon. .
Title on Cover: Security Science: The theory and Practice of Security
Includes bibliographical references (p. 233-239) and index.
9780123742308 (hardcover : alk. paper) 9780123944368
Embedded computer systems--Design and construction.
Embedded computer systems--Testing.
004.1 / R888