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