Verificación formal de protocolos distribuidos

Mostrar todas las versiones(2)

Tesis (Lic. en Cs de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Detalles Bibliográficos
Autor principal:	Naser Pastoriza, Alejandro José
Otros Autores:	D'Argenio, Pedro Rubén
Formato:	bachelorThesis publishedVersion
Lenguaje:	Español
Publicado:	2020
Materias:	Teoría de la computación Modelos computacionales Protocolos distribuídos Distributed computing models Distributed algorithms Theory of computation Paxos Atomic broadcast Formal verification Distributed protocols
Acceso en línea:	http://hdl.handle.net/11086/15004
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R14111086-15004
record_format	dspace
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	Teoría de la computación Modelos computacionales Protocolos distribuídos Distributed computing models Distributed algorithms Theory of computation Paxos Atomic broadcast Formal verification Distributed protocols
spellingShingle	Teoría de la computación Modelos computacionales Protocolos distribuídos Distributed computing models Distributed algorithms Theory of computation Paxos Atomic broadcast Formal verification Distributed protocols Naser Pastoriza, Alejandro José Verificación formal de protocolos distribuidos
topic_facet	Teoría de la computación Modelos computacionales Protocolos distribuídos Distributed computing models Distributed algorithms Theory of computation Paxos Atomic broadcast Formal verification Distributed protocols
description	Tesis (Lic. en Cs de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
author2	D'Argenio, Pedro Rubén
author_facet	D'Argenio, Pedro Rubén Naser Pastoriza, Alejandro José
format	bachelorThesis publishedVersion
author	Naser Pastoriza, Alejandro José
author_sort	Naser Pastoriza, Alejandro José
title	Verificación formal de protocolos distribuidos
title_short	Verificación formal de protocolos distribuidos
title_full	Verificación formal de protocolos distribuidos
title_fullStr	Verificación formal de protocolos distribuidos
title_full_unstemmed	Verificación formal de protocolos distribuidos
title_sort	verificación formal de protocolos distribuidos
publishDate	2020
url	http://hdl.handle.net/11086/15004
work_keys_str_mv	AT naserpastorizaalejandrojose verificacionformaldeprotocolosdistribuidos
bdutipo_str	Repositorios
_version_	1764820393782149120

Verificación formal de protocolos distribuidos

Ejemplares similares