Modeling and verification of real-time systems /
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
London : Wiley-ISTE,
2008
|
| Subjects: |
| _version_ | 1826395822870233088 |
|---|---|
| author | Navet, Nicolas |
| author_facet | Navet, Nicolas |
| author_sort | Navet, Nicolas |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T22:27:41Z |
| format | |
| id | KOHA-OAI-TEST:199454 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T22:27:41Z |
| publishDate | 2008 |
| publisher | London : Wiley-ISTE, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1994542020-12-19T17:05:41ZModeling and verification of real-time systems / Navet, Nicolas London : Wiley-ISTE,2008eng575859PSZJBLReal-time data processingComputer softwareFormal methods (Computer science)URN:ISBN:9781848210134 (hbk.) |
| spellingShingle | Real-time data processing Computer software Formal methods (Computer science) Navet, Nicolas Modeling and verification of real-time systems / |
| title | Modeling and verification of real-time systems / |
| title_full | Modeling and verification of real-time systems / |
| title_fullStr | Modeling and verification of real-time systems / |
| title_full_unstemmed | Modeling and verification of real-time systems / |
| title_short | Modeling and verification of real-time systems / |
| title_sort | modeling and verification of real time systems |
| topic | Real-time data processing Computer software Formal methods (Computer science) |
| work_keys_str_mv | AT navetnicolas modelingandverificationofrealtimesystems |