Utilizamos cookies propias y de terceros para mejorar la experiencia de navegación, y ofrecer contenidos y publicidad de interés. Al continuar con la navegación entendemos que se acepta nuestra política de cookies.
1.094 visualizaciones desde el 5 de Julio del 2017
461,9 KB
67 paginas
Creado hace 16a (15/05/2008)
Tecnología de la Programación
Semántica Operacional
David Cabrero Souto
Facultad de Informática
Universidade da Coruña
Curso 2007/2008
Verificación formal
Recordar descriptores BOE:
Diseño de algoritmos
Análisis de algoritmos
Lenguajes de programación
Diseño de programas: Descomposición modular y
documentación
Técnicas de verificación
Pruebas de programas
Pruebas de programas: validación
Ejecución de un conjunto de tests generados sintética o
manualmente.
Prueba formal de propiedades: v...
25 visualizaciones durante los últimos 90 días
2
0
IDS
En el presente trabajo se analizara la implementación de una red simulada con Mikrotik
Crear cuenta
25 visualizaciones durante los últimos 90 días