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

Thoen, Filip; Catthoor, Francky

 
9781461544388: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Couverture souple
ISBN 10 : 1461544386 ISBN 13 : 9781461544388
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461544386
ISBN 13 
9781461544388
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0792377370 ISBN 13 :  9780792377375
Editeur : Kluwer Academic Publishers, 1999
Couverture rigide