Mostrando
1 - 1
Resultados de
1
Para Buscar '
Waquim, Pedro Eduardo
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Waquim, Pedro Eduardo
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Waquim, Pedro Eduardo
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
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
Materias Relacionadas
Computer communications networks
Distributed systems
Ingeniería de software
Modelos no deterministas
Modelos probabilistas
Program verification
Propiedades de alcanzabilidad
Redes de comunicación informática
Security and protection
Seguridad
Sistemas distribuidos
Software engineering
Verificación de programas
Cargando...