Fechar
Testes de software via model checking para sistemas espaciais críticos

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21b/2017/08.09.17.50

Nome Última modificação Tamanho
baixar
 :: Silva_testes de software.pdf
09/06/2020 16:48 194.0 KiB 
  1 arquivo escondido
Fechar