The inverse method : parametric verification of real-time embedded systems /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
ISTE ;
2013.
Hoboken, N.J. : Wiley, 2013. |
| Series: | Focus series in computer engineering and IT.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
