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 23 PY - 2009/// CY - London PB - Elsevier KW - Embedded computer systems KW - Design and construction KW - Testing N1 - Title on Cover: Security Science: The theory and Practice of Security; Includes bibliographical references (p. 233-239) and index ER -