TY - BOOK AU - Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra TI - System-Level Validation SN - 9781461413592 PY - 2014/// CY - Germany PB - Springer KW - System-Level Validation UR - http://link.springer.com/book/10.1007/978-1-4614-1359-2 ER -