Estatísticas para Formal verification of PLC programs using the B Method
Total de visitas
| views | |
|---|---|
| Formal verification of PLC programs using the B Method | 133 |
Total visitas por mês
| views | |
|---|---|
| fevereiro 2025 | 1 |
| março 2025 | 3 |
| abril 2025 | 1 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
| agosto 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| HanielMB_DISSERT.pdf(legacy) | 461 |
| HanielMB_DISSERT.pdf | 450 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 54 |
| China | 17 |
| Brasil | 15 |
| Alemanha | 12 |
| Irlanda | 6 |
| Grécia | 3 |
| Rússia | 3 |
| Suécia | 3 |
| França | 2 |
| Países Baixos | 2 |
| Arábia Saudita | 2 |
| Bélgica | 1 |
| Finlândia | 1 |
| Reino Unido | 1 |
| Indonésia | 1 |
| Japão | 1 |
| Coreia do Sul | 1 |
| Singapura | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Ashburn | 12 |
| Des Moines | 7 |
| Dublin | 6 |
| Tianjin | 6 |
| Athens | 3 |
| Mountain View | 3 |
| San Mateo | 3 |
| Zhengzhou | 3 |
| Anaheim | 2 |
| Belo Horizonte | 2 |
| Hangzhou | 2 |
| Natal | 2 |
| Riyadh | 2 |
| Amsterdam | 1 |
| Caete | 1 |
| Chandler | 1 |
| Frankfurt am Main | 1 |
| Karlsruhe | 1 |
| Ludwigshafen am Rhein | 1 |
| Manchester | 1 |
| Paris | 1 |
| Patos de Minas | 1 |
| Phoenix | 1 |
| Porto Alegre | 1 |
| Sao Jose do Rio Preto | 1 |
| Sapiranga | 1 |
| Seattle | 1 |
| Singapore | 1 |
| Stafford | 1 |
| São Paulo | 1 |
| Vila Velha | 1 |