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
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