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