The inverse method : parametric verification of real-time embedded systems /
Includes bibliographical references and index
Main Authors: | , |
---|---|
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 |