- -

Formal Analysis of Reddit Network Interactions

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Formal Analysis of Reddit Network Interactions

Mostrar el registro completo del ítem

Padró Ferragut, C. (2021). Formal Analysis of Reddit Network Interactions. Universitat Politècnica de València. http://hdl.handle.net/10251/172359

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/172359

Ficheros en el ítem

Metadatos del ítem

Título: Formal Analysis of Reddit Network Interactions
Otro titulo: Análisis formal de las interacciones en la red Reddit
Autor: Padró Ferragut, Cristina
Director(es): Alpuente Frasnedo, María Sapiña Sanchis, Julia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha acto/lectura:
2021-07-21
Fecha difusión:
Resumen:
[EN] With the rise in popularity of social media platforms in the last couple of decades, there is a demand for a more thorough and formal understanding of how these networks operate due to how quickly information is ...[+]


[ES] Con el aumento de la popularidad de las plataformas de redes sociales en las últimas dos décadas, existe una demanda de una comprensión más completa y formal de cómo operan estas redes debido a la rapidez con que ...[+]


[CA] Amb l’augment de popularitat de les plataformes de xarxes socials en les darreres dècades, es demana una comprensió més exhaustiva i formal del funcionament d’aquestes xarxes a causa de la rapidesa amb què es difon ...[+]
Palabras clave: Maude , Formal methods , Model Checking , Reddit , Code Verification , Métodos Formales , Verificación de código
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem