The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Computer Engineering and IT)

Engineering

by: Etienne André · Romain Soulat

Hardcover

ISBN: 978-1-84821-447-7

ISBN-10: 1-84821-447-2

ISTE Ltd. · 2013

See also:
2013Printed Access CodeThe Inverse Method: Parametric Verification of Real-Time Unbedded Systems