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.
• Φυσική περιγραφή: 1 online resource (xviii, 150 pages) : illustrations.
• Βιβλιογραφία: Includes bibliographical references (pages 137-147) and index.
• ISBN: 9781118569351; 1118569350; 9781118569405; 1118569407
• DOI: 10.1002/9781118569351