Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Mostrar todas las versiones(2)

Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.

Detalles Bibliográficos
Autor principal: Dania, Carolina Inés
Otros Autores: Aguirre, Nazareno
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
Acceso en línea:http://hdl.handle.net/11086/17
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-17
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
spellingShingle Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
Dania, Carolina Inés
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
topic_facet Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
description Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
author2 Aguirre, Nazareno
author_facet Aguirre, Nazareno
Dania, Carolina Inés
format bachelorThesis
author Dania, Carolina Inés
author_sort Dania, Carolina Inés
title Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_short Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_fullStr Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full_unstemmed Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_sort análisis de refinamientos entre sistemas de transiciones modales basado en sat
publishDate 2011
url http://hdl.handle.net/11086/17
work_keys_str_mv AT daniacarolinaines analisisderefinamientosentresistemasdetransicionesmodalesbasadoensat
bdutipo_str Repositorios
_version_ 1764820393812557827

Ejemplares similares