Estatísticas para JCML: A specification language for the runtime verification of Java Card programs
Total de visitas
views | |
---|---|
JCML: A specification language for the runtime verification of Java Card programs | 321 |
Total visitas por mês
views | |
---|---|
janeiro 2025 | 1 |
fevereiro 2025 | 5 |
março 2025 | 6 |
abril 2025 | 4 |
maio 2025 | 0 |
junho 2025 | 0 |
julho 2025 | 0 |
Visitas Arquivos
views | |
---|---|
ARTIGO 1.pdf(legacy) | 474 |
ARTIGO 1.pdf | 148 |
Maiores visualizações por país
views | |
---|---|
Estados Unidos | 134 |
Brasil | 52 |
China | 48 |
Alemanha | 20 |
Suécia | 18 |
Países Baixos | 9 |
Irlanda | 6 |
Reino Unido | 5 |
Japão | 5 |
Finlândia | 4 |
Singapura | 4 |
França | 3 |
Hong Kong, RAE da China | 3 |
Rússia | 3 |
Israel | 2 |
Portugal | 2 |
Romênia | 2 |
Argentina | 1 |
Áustria | 1 |
Bélgica | 1 |
Grécia | 1 |
Índia | 1 |
Itália | 1 |
Coreia do Sul | 1 |
Laos | 1 |
Marrocos | 1 |
Nigéria | 1 |
Ucrânia | 1 |
Venezuela | 1 |
Maiores visualizações por cidade
views | |
---|---|
Beijing | 25 |
Ashburn | 14 |
Wilmington | 10 |
Zhengzhou | 8 |
Shanghai | 7 |
Dublin | 6 |
Stafford | 6 |
Ann Arbor | 4 |
Natal | 4 |
Aptos | 3 |
Curitiba | 3 |
Frankfurt | 3 |
Hangzhou | 3 |
Anaheim | 2 |
Andover | 2 |
Palmas | 2 |
San Mateo | 2 |
Amsterdam | 1 |
Athens | 1 |
Brasília | 1 |
Buffalo | 1 |
Campo Grande | 1 |
Catania | 1 |
Chandler | 1 |
Dallas | 1 |
De Meern | 1 |
Delhi | 1 |
Des Moines | 1 |
Fairfield | 1 |
Florianópolis | 1 |
Frankfurt am Main | 1 |
Fuzhou | 1 |
Haifa | 1 |
Jacareí | 1 |
Kwai Chung | 1 |
London | 1 |
Ludwigshafen am Rhein | 1 |
Newark | 1 |
North Bergen | 1 |
Osaka | 1 |
Palo Alto | 1 |
Paris | 1 |
Pastos Bons | 1 |
Pelotas | 1 |
Phoenix | 1 |
Quilmes | 1 |
Rio De Janeiro | 1 |
Rio de Janeiro | 1 |
Rockville | 1 |
San Francisco | 1 |
Scranton | 1 |
Secaucus | 1 |
Singapore | 1 |
St Louis | 1 |
Stoke-on-Trent | 1 |
São Paulo | 1 |
Tel Aviv | 1 |
University Park | 1 |
Wuxi | 1 |