TY - BOOK AU - Roychoudhury, Abhik TI - Embedded systems and software validation SN - 9780123742308 SN - 200901119 U1 - 004.33 ROY PY - 2009/// CY - Amsterdam ; Boston PB - Morgan Kaufmann Publishers/Elsevier KW - Computer software - Testing KW - Embedded computer systems - Design and construction KW - Embedded computer systems - Testing N1 - Includes bibliographical references (p. 233-239) and index ER -