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

Saved in:
Bibliografiske detaljer
Hovedforfatter: André, Etienne
Institution som forfatter: ebrary, Inc
Andre forfattere: Soulat, Romain
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013.
Serier:Focus series in computer engineering and IT,
Fag:
Online adgang:An electronic book accessible through the World Wide Web; click to view
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Fysisk beskrivelse:xviii, 150 p. : ill.
Bibliografi:Includes bibliographical references and index.
ISSN:2051-2481