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:
Added Author:
Electronic Access:
Click here to view.Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 543630-1001 | T55 .B68 2011 | Searching... | Searching... |