Verificación formal de un modelo de simulación DEVS de una aplicación Storm

RESUMEN Las plataformas de procesamiento de permiten la manipulación y análisis de datos en tiempo real. Un sistema reconocido para este propósito es la llamada plataforma Storm, que es un sistema para computación distribuida, de código abierto, escalable, rápido y tolerante a fallos. La plataforma...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Inostrosa-Psijas,Alonso, Oyarzún-Silva,Mauricio, Medina-Quispe,Fernando, García-Barrera,Francisco, Solar-Gallardo,Roberto
Lenguaje:Spanish / Castilian
Publicado: Universidad de Tarapacá. 2019
Materias:
Acceso en línea:http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052019000400682
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!