Estatísticas para Application of model checking in the formal verification of requirements for a speed control system in railway
Total de visitas
| views | |
|---|---|
| Application of model checking in the formal verification of requirements for a speed control system in railway | 65 |
Total de visitas por mês
| views | |
|---|---|
| dezembro 2025 | 2 |
| janeiro 2026 | 8 |
| fevereiro 2026 | 9 |
| março 2026 | 15 |
| abril 2026 | 3 |
| maio 2026 | 0 |
| junho 2026 | 3 |
Downloads
| views | |
|---|---|
| Tese_5786_v2.pdf | 80 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 47 |
| Suécia | 7 |
| Alemanha | 5 |
| Estados Unidos | 3 |
| França | 1 |
| Irão | 1 |
| Macau, RAE da China | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Baltar | 12 |
| Porto | 8 |
| Lisbon | 7 |
| Köping | 5 |
| Lourosa | 4 |
| Coimbra | 3 |
| Samora Correia | 3 |
| Stuttgart | 3 |
| Vila Nova de Gaia | 3 |
| Braga | 2 |
| Guimarães | 2 |
| Corbeil-Essonnes | 1 |
| Frankfurt am Main | 1 |
| Macao | 1 |
| Maia | 1 |
| Munich | 1 |
| Revelhe | 1 |
| Santa Clara | 1 |