Title:
Design and safety assessment of critical systems
Author:
Bozzano, Marco.
ISBN:
9781439803325
Publication Information:
Boca Raton : Auerbach Publications, 2011.
Physical Description:
xvii, 279 p. : ill.
Contents:
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.
Subject Term:
Added Author:
Holds:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 285107-1001 | ONLINE | Searching... | Searching... |