Mostrando
1 - 3
Resultados de
3
Para Buscar '
Rodriguez Caldeira, Luciana
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Rodriguez Caldeira, Luciana
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Rodriguez Caldeira, Luciana
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A Parallel Tableau Algorithm for BIG DATA Verification
por
Asteasuain, Fernando
,
Rodríguez
Caldeira
,
Luciana
Publicado 2020
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
2
An expressive and enriched specification language to synthesize behavior in BIG DATA systems
por
Asteasuain, Fernando
,
Rodriguez
Caldeira
,
Luciana
Publicado 2021
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
3
Verificación formal de software en sistemas de big data
por
Asteasuain, Fernando
,
Aragón, Rafael
,
Rodriguez
Caldeira
,
Luciana
,
Granata, Nicolás
,
Patera, Nahuel
,
Gamboa, Pablo
,
Feng, Hang Shao
Publicado 2022
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Big data
Ciencias Informáticas
Formal verification
Parallel model checkers
Parallel programming
Síntesis de comportamiento
Verificación formal
Cargando...