Fiabilidade do software em sistemas críticos de segurança

"Fiabilidade do software em sistemas cr ticos de seguran a: Uma nova abordagem para desenvolver sistemas cr ticos de seguran a fi veis e de baixo custo" discute, em pormenor, v rias t cnicas para melhorar a fiabilidade do software em sistemas cr ticos. Al m disso, o livro cont m uma an lise cr tica dos m todos actuais utilizados no desenvolvimento de sistemas cr ticos de seguran a. Definitivamente, este livro revela como se pode desenvolver um software fi vel para sistemas cr ticos de seguran a com baixo custo e elevada fiabilidade. O livro pode ser utilizado para o ensino a n vel de licenciatura e de p s-gradua o.