TY - BOOK T1 - Embedded systems and software validation A1 - Roychoudhury, Abhik LA - English PP - Amsterdam, Boston PB - Morgan Kaufmann Publishers/Elsevier YR - 2009 UL - https://tuklas.up.edu.ph/Record/UP-99796217609350671 OP - 254 CN - TK 7895 E42 R69 2009 SN - 9780123742308 (hbk. : alk. paper) SN - 0123742307 (hbk. : alk. paper) KW - Embedded computer systems : Design and construction. KW - Embedded computer systems : Testing. KW - Computer software : Testing. ER -