Language:Chinese,binding:No Binding,publisher:Tsinghua University Press Pub. Date :2010-07, description:Pages Number: 200 Publisher: Tsinghua University Press Pub. Date: 2010-07 This book is divided into Introduction to embedded system verification, model validation, communication, verification, performance verification, functional verific...
"synopsis" may belong to another edition of this title.