The inverse method : parametric verification of real-time embedded systems
Title:
The inverse method : parametric verification of real-time embedded systems
Author:
André, Etienne.
ISBN:
9781118569351
9781118569405
Personal Author:
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
Added Author:
Holds: Copies: