Design and safety assessment of critical system
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boca Raton :
Auerbach Publications ,
c2011
|
| Subjects: |
Table of 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