25 de abril de 2024
<dpi.inpe.br/plutao@80/2009/12.22.14.42.32>
(repositório)

Conference Proceedings
A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
Pontes, Rodrigo P. & Morais, Marcelo Henrique Essado de & Véras, Paulo C. & Ambrósio, Ana Maria & Villani, Emília :2009:
(metadados do site <plutao.sid.inpe.br 800>)

O número de visitas¹ desde o dia 31 de dezembro de 2009 é de 461.

Número médio de visitas por dia sobre 10 períodos de 523 dias

0.19 0.14 0.16 0.08 0.08 0.02 2 0.08 0.10 0.03   1       2      3      4      5      6      7      8      9       10

O número de período em vermelho indica que o período correspondente contém o dia 17 de maio de 2015¹.
A altura de cada barra púrpura é proporcional ao número médio de visitas por dia
dentro do período correspondente.
Período 1 começa dia 31 de dezembro de 2009 ( ), e Período 10 termina dia 25 de abril de 2024 ( ).
O número de visitas durante os 10 períodos é de 461.
A média do número de visitas por dia durante os 10 períodos é de 0.09.
¹Antes do dia 17 de maio de 2015, todas as visitas de cada usuário (IP) eram somadas, a partir dessa data, apenas uma única visita por dia de cada usuário (IP) é somada.