Statistics

Total Visits

Views
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança. 123

Total Visits per Month

March 2024 April 2024 May 2024 June 2024 July 2024 August 2024 September 2024
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança. 0 7 0 2 13 4 0

File Downloads

Views
LUIZ PAULO DE ASSIS BARBOSA - DISSERTAÇÃO PPGEE 2008.pdf 29
LUIZ PAULO DE ASSIS BARBOSA - DISSERTAÇÃO PPGEE 2008..pdf 13

Top Country Views

Views
Brazil 36
United States 35
China 7
Vietnam 3
EU 2
Angola 1
Australia 1
Colombia 1
Portugal 1
Uruguay 1

Top City Views

Views
Oakland 13
Campina Grande 9
Menlo Park 7
Shenzhen 6
Mountain View 5
Cambridge 3
Hanoi 3
São Paulo 3
Cajàzeiras 2
Apucarana 1