Design and safety assessment of critical systems
by
Bozzano, Marco., author.
Title
:
Design and safety assessment of critical systems
Author
:
Bozzano, Marco., author.
ISBN
:
9780429070044
Physical Description
:
1 online resource (xvii, 279 pages)
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
:
Industrial safety.
Added Author
:
Villafiorita, Adolfo.
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 543630-1001 | T55 .B68 2011 | | CRC E-Books |