| TAZ-TFM-2010-075 |
Análisis filogenético mediante lógica temporal y model checking
Requeno Jarabo, José Ignacio
Colom Piazuelo, José Manuel (dir.)
Universidad de Zaragoza,
CPS,
2010
Informática e Ingeniería de Sistemas department, Lenguajes y Sistemas Informáticos area
Ingeniero en Informática
Free keyword(s): Análisis filogenético ; Verificación formal ; Lógica temporal ; Model checking
Tipo de Trabajo Académico: Trabajo Fin de Master
Notas: Realizado bajo la tutela de una beca de iniciación a la investigación del I3A
Permalink:
El registro pertenece a las siguientes colecciones:
trabajos-academicos-universidad-zaragoza > centro > centro-politecnico-superior
trabajos-academicos-universidad-zaragoza > trabajos-fin-master