TY  - BOOK
AU  - Andr(acute)e,Etienne
AU  - Soulat,Romain
ED  - Safari eBooks.
TI  - The inverse method: parametric verification of real-time embedded systems 
T2  - Focus series in computer engineering and IT
PY  - 2013///
KW  - Embedded computer systems
KW  - Computer systems
KW  - Verification
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and index
UR  - http://ezproxy.alfaisal.edu/login?url=http://academic.safaribooksonline.com/?uiCode=sdl&xmlId=9781118569788
ER  -