The inverse method
Andr�e, Etienne.
The inverse method parametric verification of real-time embedded systems / [electronic resource] : �Etienne Andr�e, Romain Soulat. - Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013. - xviii, 150 p. : ill. - Focus series in computer engineering and IT, 2051-2481 .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Embedded computer systems.
Real-time data processing.
Electronic books.
TK7895.E42 / A53 2013eb
The inverse method parametric verification of real-time embedded systems / [electronic resource] : �Etienne Andr�e, Romain Soulat. - Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013. - xviii, 150 p. : ill. - Focus series in computer engineering and IT, 2051-2481 .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Embedded computer systems.
Real-time data processing.
Electronic books.
TK7895.E42 / A53 2013eb