The inverse method [electronic resource] : parametric verification of real-time embedded systems / Étienne André, Romain Soulat.
Material type:
- TK7895.E42 A53 2013eb
No physical items for this record
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.
There are no comments on this title.
Log in to your account to post a comment.