Nantilus
Real-time systems : scheduling, analysis, and verification
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Real-time systems : scheduling, analysis, and verification / Albert M.K. Cheng |
| Publié : |
Hoboken (N.J.) :
WileyOnline library
, 2003 |
| Accès en ligne : |
Accès Nantes Université
|
| Sujets : | |
| Documents associés : | Autre format:
Real-time systems |
| Particularités de l'exemplaire : | Bib. numérique, Ex. 1 : Accessible sur Wiley Online Library |