, Universidade Estadual do Ceará, Brazil
-
Revista Eletrônica de Iniciação Científica em Computação v. 15 n. 1 (2017): Revista Eletrônica de Iniciação Científica - Engenharia de Software
LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS
Resumo PDF -
Revista Eletrônica de Iniciação Científica em Computação v. 17 n. 4 (2019): Revista Eletrônica de Iniciação Científica em Computação - Segurança de Informação e de Sistemas Computacionais
Monitoramento e detecção de anomalias em tráfego de redes smart home
Resumo PDF