Peng, Zebo
System-level Test and Validation of Hardware/Software Systems
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
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Peng, Zebo
- Reorda, Matteo Sonza
- Violante, Massimo
- Utgivare
- Springer
- Utgivningsår
- 2005
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9781846281457