• English
    • español
  • español 
    • English
    • español
  • Login
Buscar 
  •   DSpace Principal
  • Buscar
  •   DSpace Principal
  • Buscar
JavaScript is disabled for your browser. Some features of this site may not work without it.

Buscar

Mostrar filtros avanzadosOcultar filttos avanzados

Filtros

Use filtros para refinar sus resultados.

Mostrando ítems 1-1 de 1

  • Opciones de clasificación:
  • Relevancia
  • Título Asc
  • Título Desc
  • Fecha Asc
  • Fecha Desc
  • Resultados por página:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

KLEE visualization project 

Calvo Soria, Jorge (2022)
En este proyecto se ha trabajado con una herramienta de ejecución simbólica llamada KLEE basada en LLVM IR. Esta herramienta se usa para el análisis de programas y generar pruebas de alta cobertura con el fin de depurarlos ...

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contacto | Sugerencias
 

 

Listar

Todo DSpaceComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasPor DirectorPor tipo

Mi cuenta

AccederRegistro

Descubre

Director/Coordinador
Yavuz, Tuba (1)
AutoresCalvo Soria, Jorge (1)Materia33 Ciencias tecnológicas (1)3325 Tecnología de las telecomunicaciones (1)332599 Otras especialidades (1)KTT (GITT) (1)... másFecha2022 (1)

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contacto | Sugerencias