Fiabilidad del software en sistemas críticos para la seguridad

"Confiabilidad del software en sistemas críticos para la seguridad: un nuevo enfoque para desarrollar sistemas críticos para la seguridad confiables y de bajo costo" analiza, en detalle, varias técnicas para mejorar la confiabilidad del software para sistemas críticos. Además, el libro contiene un análisis crítico de los métodos actuales utilizados en el desarrollo de sistemas críticos para la seguridad. Definitivamente, este libro revela cómo se puede desarrollar un software confiable para sistemas críticos de seguridad con bajo costo y alta confiabilidad. El libro se puede utilizar para la enseñanza tanto a nivel de pregrado como de posgrado.