Mostrando
1 - 1
Resultados de
1
Para Buscar '
'
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
Restablecer filtros
Materias:
BIG DATA Systems
Restablecer filtros
Mostrar filtros (1)
Materias:
BIG DATA Systems
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
BIG DATA Systems
Ciencias Informáticas
1
Formal verification
1
State Explosion
1
Mostrando
1 - 1
Resultados de
1
Para Buscar '
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Addressing the state explosion problem for big data systems formal verification
por
Asteasuain, Fernando
Publicado 2023
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
—
Guardar Búsqueda
Atrás
Refine su búsqueda
Institución
Universidad Nacional de La Plata
1
Colecciones
SEDICI (UNLP)
1
Formato
Objeto de conferencia
1
Autor
Asteasuain, Fernando
1
Lenguaje
Inglés
1
Año de Publicación
De:
a:
Cargando...