Estatísticas para Formal Verification of AADL Models Using UPPAAL
Total de visitas
| views | |
|---|---|
| Formal Verification of AADL Models Using UPPAAL | 26 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| COM_CISTER_2017pdf | 270 |
Top de consultas por país
| views | |
|---|---|
| China | 10 |
| Estados Unidos | 9 |
| Portugal | 4 |
| Canadá | 1 |
| Hungria | 1 |
| Índia | 1 |