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

• Κύριος συγγραφέας: André, Etienne
• Άλλοι συγγραφείς: Soulat, Romain
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : ISTE ; 2013.; Hoboken, N.J. : Wiley, 2013.
• Σειρά: Focus series in computer engineering and IT.
• Θέματα: Embedded computer systems.; Computer systems > Verification.; COMPUTERS > General.; Computer systems / Verification.; Electronic books.