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

Saved in:

Bibliographic Details
Main Author:	André, Etienne
Other Authors:	Soulat, Romain
Format:	Book
Language:	English
Published:	London : Hoboken, N.J. : ISTE ; Wiley, 2013.
Series:	Focus series in computer engineering and IT.
Subjects:	Embedded computer systems. Computer systems > Verification. Computer systems.
Open Policy Finder:	Search Open Policy Finder by ISSN

Hesburgh Library General Collection

Holdings details from Hesburgh Library General Collection
Call Number:	TK 7895 .E42 A53 2013
	Available Request Request a scan of an article or book chapter