Statistics

Total Visits

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

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 0

File Downloads

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

Top Country Views

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

Top City Views

Views
Oakland 14
Campina Grande 13
Menlo Park 8
Houston 6
Boardman 3
Hanoi 3
Mountain View 3
Shenzhen 3
Guarulhos 2
Juazeiro Do Norte 2