Login

Peng, Zebo

System-level Test and Validation of Hardware/Software Systems

Peng, Zebo - System-level Test and Validation of Hardware/Software Systems, ebook

111,60€

Ebook, PDF with Adobe DRM
ISBN: 9781846281457
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Z. Peng, M. Sonza Reorda, M. Violante

2. Modeling Permanent Faults
J. P. Teixeira

3. Test Generation: A Symbolic Approach
F. Fummi, G. Pravadelli

4. Test Generation: A Heuristic Approach
O. Goloubeva, M. Sonza Reorda, M. Violante

5. Test Generation: A Hierarchical Approach
G. Jervan, R. Ubar, Z. Peng, P. Eles

6. Test Program Generation from High-level Microprocessor Descriptions
E. Sánchez, M. Sonza Reorda, G. Squillero

7. Tackling Concurrency and Timing Problems
I. G. Harris

8. An Approach to System-level Design for Test
G. Jervan, R. Ubar, Z. Peng, P. Eles

9. System-level Dependability Analysis
A. Bobbio, D. Codetta Raiteri, M. Pierro, G. Franceschinis

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
 
Publisher
Springer
Publication year
2005
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781846281457

Similar titles