Real-Time Systems : Scheduling, Analysis, and Verification /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Hoboken, EUA :
Wiley,
2002, c2002
|
| Matèries: | |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Real-Time Systems :
- Compositional Verification of Concurrent and Real-Time Systems /
- Introducción a la computación /
- Real-Time Systems Design and Analysis : An Engineer's Handbook /
- The Universal History of Computing : From the Abacus to the Quantum Computer /
- Specification of Abstract Data Types /
- A Practitioner’s Handbook for Real-Time Analysis : Guide to Rate Monotonic Analysis for Real-Time Systems /