Cargando…
System-level test and validation of hardware/software systems /
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
London :
Springer,
c2010, 2010.
|
| Colección: | Springer series in advanced microelectronics,
17 |
| Materias: | |
| Acceso en línea: | Información biográfica Tabla de contenido |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | ocm56413844 | ||
| 003 | OCoLC | ||
| 005 | 20150815150240.0 | ||
| 008 | 141030t20102010enka b 001 0 eng d | ||
| 035 | |a (Sirsi) i9781852338992 | ||
| 040 | |a DLC |b eng |c DLC |d UV# | ||
| 020 | |a 1852338997 (pasta dura) | ||
| 020 | |a 9781852338992 (pasta dura) | ||
| 020 | |a 1849969531 (rústica) | ||
| 020 | |a 9781849969536 (rústica) | ||
| 050 | 4 | |a QA76.76.S64 |b S97 2010 | |
| 082 | 0 | 0 | |a 004.2/4 |
| 245 | 0 | 0 | |a System-level test and validation of hardware/software systems / |c M. Sonza Reorda, Z. Peng, M. Violante (Eds.). |
| 260 | |a London : |b Springer, |c c2010, 2010. | ||
| 300 | |a xii, 179 páginas : |b ilustraciones ; |c 24 cm. | ||
| 490 | 0 | |a Springer series in advanced microelectronics, |x 1437-0387 ; |v 17 | |
| 500 | |a "With 55 figures". | ||
| 504 | |a Incluye bibliografías e índice. | ||
| 505 | 0 | |a Modeling permanent faults / J.P. Teixeira -- Test generation: a symbolic approach / F. Fummi and G. Pravadelli -- Test generation: a heuristic approach / O. Goloubeva, M. Sonza Reorda, and M. Violante -- Test generation: a hierarchical approach / G. Jervan ... [et al.] -- Test program generation from high-level microprocessor descriptions / E. Sánchez, M. Sonza Reorda, and G. Squillero -- Tackling concurrency and timing problems / I.G. Harris -- An approach to system-level design for test / G. Jervan ... [et al.] -- System-level dependability analysis / A. Bobbio ... [et al.]. | |
| 650 | 4 | |a Programas del sistema (Computadoras) |x Pruebas. | |
| 650 | 4 | |a Programas para computadora |x Pruebas. | |
| 700 | 1 | |a Sonza Reorda, M. |q (Matteo). | |
| 700 | 1 | |a Peng, Zebo. |9 412248 | |
| 700 | 1 | |a Violante, M. |q (Massimo). | |
| 856 | 4 | 2 | |3 Información biográfica |u http://catdir.loc.gov/catdir/enhancements/fy0818/2004057798-b.html |
| 856 | 4 | 1 | |3 Tabla de contenido |u http://catdir.loc.gov/catdir/enhancements/fy0818/2004057798-t.html |
| 901 | |a Z0 |b UV# | ||
| 902 | |a DGBUV | ||
| 596 | |a 14 | ||
| 942 | |c LIBRO |6 _ | ||
| 999 | |c 285938 |d 285938 | ||