System-Level Validation : High-Level Modeling and Directed Test Generation Techniques
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, i...
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
New York, NY :
Springer New York
2013.
Cham : Springer Nature |
| Accès en ligne: | 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: | • System-level validation, high-level modeling and directed test generation techniques, Mingsong Chen ... [et al.], New York, Springer, 2013, 1 vol. (XXI-247 p.), 1-461-41358-3 • System-Level Validation, Texte imprimé, 9781461413608 • System-Level Validation, Texte imprimé, 9781489986290 |

