The inverse method : parametric verification of real-time embedded systems /

• Main Author: André, Etienne
• Other Authors: Soulat, Romain
• Format: eBook
• Language: English
• Published: London : ISTE ; 2013.; Hoboken, N.J. : Wiley, 2013.
• Series: Focus series in computer engineering and IT.
• Subjects: Embedded computer systems.; Computer systems > Verification.; COMPUTERS > General.; Computer systems / Verification.; Electronic books.