Mostrando 1 - 1 Resultados de 1 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
Restablecer filtros
Materias: Computer communications networks
Restablecer filtros
Mostrar filtros (1)
Materias: Computer communications networks
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Computer communications networks Distributed systems 1 Ingeniería de software 1 Modelos no deterministas 1 Modelos probabilistas 1 Program verification 1 Propiedades de alcanzabilidad 1 Redes de comunicación informática 1 Security and protection 1 Seguridad 1 Sistemas distribuidos 1 Software engineering 1 Verificación de programas 1
Mostrando 1 - 1 Resultados de 1 Para Buscar '', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
    por Waquim, Pedro Eduardo
    Publicado 2024
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    bachelorThesis
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda

Refine su búsqueda

Universidad Nacional de Córdoba 1
Repositorio Digital Universitario (UNC) 1
Tesis de grado 1
D'Argenio, Pedro Ruben 1 Waquim, Pedro Eduardo 1
Español 1

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...