Modelagem e Detecção de Falhas em Soluções para Armazenamento Seguro em Nuvens usando Redes de Petri Coloridas: Um Estudo de Caso

CARVALHO, C. A. B. ; ANDRADE, R. M. C. ; CASTRO, M.F. ; AGOULMINE, N. . Modelagem e Detecção de Falhas em Soluções para Armazenamento Seguro em Nuvens usando Redes de Petri Coloridas: Um Estudo de Caso. In: XIV Workshop de Computação em Clouds e Aplicações (WCGA 2016) - associado ao XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2016), 2016, Salvador, Brasil. XIV Workshop de Computação em Clouds e Aplicações (WCGA 2016) - associado ao XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2016), 2016.

2016