TY - BOOK AU - Roychoudhury,Abhik TI - Embedded systems and software validation T2 - The Morgan Kaufmann series in systems on silicon SN - 9780123742308 (hardcover : alk. paper) U1 - 004.1 22 PY - 2009/// CY - Amsterdam, London, Elsevier, Boston PB - Morgan Kaufmann Publishers/Elsevier KW - Embedded computer systems KW - Design and construction KW - Testing KW - Computer software N1 - Includes bibliographical references (p. 233-239) and index ER -