The inverse method : parametric verification of real-time embedded systems
by
 
André, Etienne.

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

Author
: 
André, Etienne.

ISBN
: 
9781118569351
 
9781118569405

Personal Author
: 
André, Etienne.

Publication Information
: 
London : ISTE ; Hoboken, N.J. : Wiley, 2013.

Physical Description
: 
1 online resource (xviii, 150 pages) : illustrations

Series
: 
Focus series in computer engineering and IT
 
Focus series in computer engineering and IT.

Local Note
: 
O'Reilly

Subject Term
: 
Embedded computer systems.
 
Computer systems -- Verification.
 
Systèmes enfouis (Informatique)
 
Systèmes informatiques -- Vérification.
 
COMPUTERS -- General.
 
Computer systems -- Verification. (OCoLC)fst01750859
 
Embedded computer systems. (OCoLC)fst00908298

Added Author
: 
Soulat, Romain.

Electronic Access
: 
https://learning.oreilly.com/library/view/~/9781118569788
 
https://learning.oreilly.com/library/view/~/9781118569788/?ar
 
https://go.oreilly.com/library-access/library/view/-/9781118569788/?ar


LibraryMaterial TypeItem BarcodeShelf NumberStatus
IYTE LibraryE-Book2297731-1001TK7895 .E42 .A53 2013 EBO'reilly E-Books