Estatísticas para Towards a formally designed and verified embedded operating system: case study using the B method
Total de visitas
| views | |
|---|---|
| Towards a formally designed and verified embedded operating system: case study using the B method | 30 |
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 | |
|---|---|
| m1468_Tese.pdf | 134 |
| 5-CAP3.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 12 |
| Portugal | 7 |
| Alemanha | 4 |
| China | 2 |
| França | 2 |
| Camarões | 1 |
| Letónia | 1 |
| Mongólia | 1 |