Statistics

Total Visits

Views
DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 149

Total Visits per Month

July 2024 August 2024 September 2024 October 2024 November 2024 December 2024 January 2025
DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 26 3 3 0 1 0 0

File Downloads

Views
ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf 29
ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf 15

Top Country Views

Views
United States 58
Germany 17
Brazil 10
China 5
United Kingdom 5
Ireland 5
Canada 2
Panama 2
Ukraine 2
Vietnam 2

Top City Views

Views
Norwalk 17
Oakland 16
Menlo Park 9
Campina Grande 3
Mountain View 3
Shenzhen 3
Augusta 2
Beijing 2
Bocas Del Toro 2
Hanoi 2