Chargement en cours…
Design and safety assessment of critical systems /
Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still large...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Boca Raton, FL :
Auerbach Publications,
©2011.
|
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- 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.