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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Chen, Mingsong, Qin, Xiaoke (Auteur), Koo, Heon-Mo (Auteur), Mishra, Prabhat, 1973- (Auteur)
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

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