Articoli correlati a Modeling, Verification and Exploration of Task-Level...

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems - Brossura

 
9781461544388: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Acknowledgments. 1. Introduction. 2. Related Work and Contemporary Approaches. 3. System Representation Model. 4. Timing Analysis. 5. System Synthesis Methodology. 6. Conclusions. Appendices. Glossary.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2011
  • ISBN 10 1461544386
  • ISBN 13 9781461544388
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9780792377375: Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems

Edizione in evidenza

ISBN 10:  0792377370 ISBN 13:  9780792377375
Casa editrice: Kluwer Academic Pub, 1999
Rilegato