Embedded systems and software validation /
Abhik Roychoudhury
- Amsterdam ; Boston : Morgan Kaufmann Publishers/Elsevier, c2009
- xii, 254 p. : ill. ; 25 cm.
- The Morgan Kaufmann series in systems on silicon .
- Morgan Kaufmann series in systems on silicon .
Includes bibliographical references (p. 233-239) and index