Embedded system design : modeling, synthesis and verification
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It disc...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
New York, NY :
Springer US
2009.
Cham : Springer Nature |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Embedded system design, modeling, synthesis and verification, Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer [...], 2009, Dordrecht, Springer, 1 vol. (XXIV-352 p.), 978-1-441-90503-1 • Embedded System Design, Texte imprimé, 9781441905055 • Embedded System Design, Texte imprimé, 9781489985309 |