Estatísticas para Towards a formally verified microkernel using the Frama-C toolset
Total de visitas
| views | |
|---|---|
| Towards a formally verified microkernel using the Frama-C toolset | 71 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 3 |
| março 2026 | 2 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Dissertação - Carlos José Abreu Dias da Silva Carloto.pdf | 368 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 17 |
| Estados Unidos | 15 |
| China | 6 |
| Reino Unido | 6 |
| Alemanha | 3 |
| França | 3 |
| Itália | 3 |
| Austrália | 2 |
| Emirados Árabes Unidos | 1 |
| Bangladeche | 1 |
| Brasil | 1 |
| Canadá | 1 |
| Chéquia | 1 |
| Grécia | 1 |
| Irão | 1 |
| Japão | 1 |
| Letónia | 1 |
| Marrocos | 1 |
| Mongólia | 1 |
| Maurícia | 1 |
| Nova Zelândia | 1 |
| Rússia | 1 |
| Suécia | 1 |
| Singapura | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Gandra | 4 |
| Sao Mamede de Infesta | 3 |
| Acharnes | 1 |
| Clausthal-Zellerfeld | 1 |
| Como | 1 |
| Passignano sul Trasimeno | 1 |
| Santarém | 1 |
| Setúbal | 1 |