Statistics
Geração de casos de teste usando Bounded Model Checking
- 630 Total Visits
Total Visits per Month
| November 2024 | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 |
|---|---|---|---|---|---|---|
| 16 | 18 | 5 | 17 | 23 | 19 | 4 |
File Downloads
| ???jsp.statistics.heading.download.filename??? | ???jsp.statistics.heading.download.amout??? |
|---|---|
| Dissertação_RafaelMenezes_PPGI.pdf | 282 |