Fiabilité des logiciels dans les systèmes critiques pour la sécurité

La fiabilité logicielle dans les systèmes critiques pour la sécurité : une nouvelle approche pour développer des systèmes critiques pour la sécurité fiables et à faible coût traite en détail de diverses techniques permettant d'améliorer la fiabilité logicielle des systèmes critiques. En outre le livre contient une analyse critique des méthodes actuelles utilisées dans le développement de systèmes critiques pour la sécurité. En définitive ce livre révèle comment un logiciel fiable peut être développé pour les systèmes critiques en matière de sécurité à faible coût et avec une grande fiabilité. Le livre peut être utilisé pour l'enseignement aux niveaux du premier cycle et du troisième cycle.