The inverse method : parametric verification of real-time embedded systems /
Includes bibliographical references and index
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc.,
2013
|
| Subjects: |