Testes de software via model checking para sistemas espaciais críticos
List of files deposited in:
sid.inpe.br/mtc-m21b/2017/08.09.17.50
Name
Last modified
Size
download
::
Silva_testes de software.pdf
09/06/2020 16:48
194.0 KiB
1 hidden file