Design and safety assessment of critical systems [recurso electrónico] / Marco Bozzano, Adolfo Villafiorita.
Tipo de material:
TextoDetalles de publicación: Boca Raton, FL : Auerbach Publications, c2011Descripción: 1 online resource (xvii, 279 p.) : illISBN: 9781439803325 (electronic bk.); 1439803323 (electronic bk.)Tema(s): Industrial safety | Engineering | TECHNOLOGY & ENGINEERING -- Industrial Health & Safety | Industrial safetyGénero/Forma: Electronic books.Formatos físicos adicionales: Print version:: Design and safety assessment of critical systems.Clasificación CDD: 620.8/6 Clasificación LoC:T55 | .B68 2011ebRecursos en línea: Libro electrónico
Contenidos:
1. Introduction -- 2. Dependability, reliability, and safety assessment -- 3. Techniques for safety assessment -- 4. Development of safety-critical applications -- 5. Formal methods for safety assessment -- 6. Formal methods for certification.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | T55 .B68 2011 EB (Browse shelf(Abre debajo)) | 1 | No para préstamo | 369623-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| T50 Studying Kinetics with Neutrons | T50 Designing Quantitative Experiments | T50 .M644 2012 Measurement and instrumentation | T55 .B68 2011 EB Design and safety assessment of critical systems | T55.3 .P75 Protective clothing | T55.4 -60.8 Stereolithography | T55.4 -60.8 Manufacturing Process Design and Costing |
Includes bibliographical references and index.
Description based on print version record.
1. Introduction -- 2. Dependability, reliability, and safety assessment -- 3. Techniques for safety assessment -- 4. Development of safety-critical applications -- 5. Formal methods for safety assessment -- 6. Formal methods for certification.
19
