The inverse method [electronic resource] : parametric verification of real-time embedded systems / (acute)Etienne Andr(acute)e, Romain Soulat.
Series: Focus series in computer engineering and IT2013Description: 1 online resource (1 v.) : illSubject(s): Genre/Form: Additional physical formats: Print version:: inverse method.Online resources:
eBooks
No physical items for this record
Description based on print version record.
Includes bibliographical references and index.