Testes de software via model checking para sistemas espaciais críticos
List of files deposited in: |
download at once all the files listed below within a .zip file |
Name | Last modified | Size |
:: Silva_testes.pdf | 24/06/2020 17:42 | 252.5 KiB |
:: thisInformationItemHomePage.html | 16/10/2024 09:14 | 5.6 KiB |
2 displayed files 1 hidden file |