Uma abordagem de garantia de segurança de software para sistemas críticos embarcados.
Apesar da crescente importância dos Sistemas Computadorizados na Sociedade Moderna, ainda não se tem notícia da existência de uma metodologia consagrada para o Desenvolvimento de Softwares Críticos Embarcados Aeroespaciais, que seja capaz de propiciar aumento nos níveis de Segurança de Software e ev...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
Instituto Tecnológico de Aeronáutica
1999
|
Subjects: | |
Online Access: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2673 |