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

Includes bibliographical references and index

Bibliographic Details
Main Authors: Andr,̌ Etienne, Soulat, Romain
Format:
Language:eng
Published: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013
Subjects:
_version_ 1826455606447308800
author Andr,̌ Etienne
Soulat, Romain
author_facet Andr,̌ Etienne
Soulat, Romain
author_sort Andr,̌ Etienne
collection OCEAN
description Includes bibliographical references and index
first_indexed 2024-03-05T13:10:12Z
format
id KOHA-OAI-TEST:493405
institution Universiti Teknologi Malaysia - OCEAN
language eng
last_indexed 2024-03-05T13:10:12Z
publishDate 2013
publisher Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc.,
record_format dspace
spelling KOHA-OAI-TEST:4934052020-12-19T17:18:14ZThe inverse method : parametric verification of real-time embedded systems / Andr,̌ Etienne Soulat, Romain Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc.,2013engIncludes bibliographical references and indexPSZJBLEmbedded computer systems Real-time data processing URN:ISBN:9781848214477 (hbk.)URN:ISBN:9781118569405 (e-book)
spellingShingle Embedded computer systems
Real-time data processing
Andr,̌ Etienne
Soulat, Romain
The inverse method : parametric verification of real-time embedded systems /
title The inverse method : parametric verification of real-time embedded systems /
title_full The inverse method : parametric verification of real-time embedded systems /
title_fullStr The inverse method : parametric verification of real-time embedded systems /
title_full_unstemmed The inverse method : parametric verification of real-time embedded systems /
title_short The inverse method : parametric verification of real-time embedded systems /
title_sort inverse method parametric verification of real time embedded systems
topic Embedded computer systems
Real-time data processing
work_keys_str_mv AT andretienne theinversemethodparametricverificationofrealtimeembeddedsystems
AT soulatromain theinversemethodparametricverificationofrealtimeembeddedsystems
AT andretienne inversemethodparametricverificationofrealtimeembeddedsystems
AT soulatromain inversemethodparametricverificationofrealtimeembeddedsystems