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

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

Bibliographic Details
Main Author: André, Etienne
Other Authors: Soulat, Romain
Format: eBook
Language:English
Published: London : ISTE ; 2013.
Hoboken, N.J. : Wiley, 2013.
Series:Focus series in computer engineering and IT.
Subjects:
Embedded computer systems.
Computer systems > Verification.
COMPUTERS > General.
Computer systems / Verification.
Electronic books.
Online Access:Full Text via HEAL-Link
Description
Physical Description:1 online resource (xviii, 150 pages) : illustrations.
Bibliography:Includes bibliographical references (pages 137-147) and index.
ISBN:9781118569351
1118569350
9781118569405
1118569407
DOI:10.1002/9781118569351

Similar Items