Embedded systems and software validation /
Abhik Roychoudhury.
- Amsterdam ; London: Elsevier, 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.