Testes de software via model checking para sistemas espaciais críticos
Lista de arquivos depositados em:
sid.inpe.br/mtc-m21b/2017/01.03.18.13
Nome
Última modificação
Tamanho
baixar
::
Silva_testes.pdf
24/06/2020 17:42
252.5 KiB
1 arquivo escondido