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 | 70 |
Total de visitas por mês
| views | |
|---|---|
| março 2026 | 15 |
| abril 2026 | 3 |
| maio 2026 | 0 |
| junho 2026 | 3 |
| julho 2026 | 3 |
| agosto 2026 | 2 |
| setembro 2026 | 0 |
Downloads
| views | |
|---|---|
| Tese_5786_v2.pdf | 100 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 52 |
| 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 | 11 |
| 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 |
| Matosinhos Municipality | 1 |
| Munich | 1 |
| Revelhe | 1 |
| Santa Clara | 1 |
| Santo Tirso | 1 |