The Inverse Method: Parametric Verification of Real-Time Unbedded Systems

by: Etienne Andr? · Romain Soulat

Printed Access Code

ISBN: 978-1-118-56935-1

ISBN-10: 1-118-56935-0

Wiley-Iste · 2013

See also:
2013HardcoverThe Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Computer Engineering and IT)