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 |