Statistics

Total Visits

Views
Teste baseado em modelos simbólicos para sistemas de tempo real. 163

Total Visits per Month

October 2024 November 2024 December 2024 January 2025 February 2025 March 2025 April 2025
Teste baseado em modelos simbólicos para sistemas de tempo real. 7 5 0 1 0 0 7

File Downloads

Views
WILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdf 38
WILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdf 28

Top Country Views

Views
Brazil 61
United States 45
China 4
Uruguay 4
Canada 3
Germany 3
Vietnam 3
Argentina 1
Dominican Republic 1
EU 1

Top City Views

Views
Campina Grande 19
Oakland 14
Menlo Park 8
Houston 6
Boardman 3
Hanoi 3
Mountain View 3
Ottawa 3
Shenzhen 3
Guarulhos 2