Portada
Asignatura
Grado en Ingeniería Informática (UHU)
Métodos Formales en Ingeniería de Software
Fecha de subida
17 jun 2017
Categoría
apuntes
Información
Resumen del Tema 5 de Model Checking donde viene explicado de manera resumida y clara el contenido clave que estudiar.
Etiquetas
Apuntes - MFIS-Apuntes-y-Ejercicios.pdf
pdf
19 páginas
217
1
Ejercicios - ocl.pdf
11 páginas
74
0
Apuntes - Practica-1-OCL.pdf
27 páginas
86
Apuntes - Practica-2-Alloy.pdf
25 páginas
89
Exámenes - ExamenParcial_15.pdf
1 página
82
Ejercicios - alloy.pdf
4 páginas
57
Prácticas - Boletin.pdf
69
Exámenes - ExTeoriaJunio16.pdf
75
Apuntes - ocl-ref-shortTraducido.pdf
2 páginas
51
Exámenes - ExTeoriaSept15.pdf
71
Exámenes - ExTeoriaJunio15.pdf
58
Prácticas - MFIS-Practica-1.pdf
53 páginas
54
Apuntes - TEMA-5-OCL.pdf
14 páginas
34
Exámenes - ejercicios promela.pdf
3 páginas
32
Ejercicios - model checking.pdf
5 páginas
35
Apuntes - Alloy.pdf
29
Prácticas - AAD-Miguel-Angel-Sanchez-y-Borja-Lopez.pdf
26 páginas
Prácticas - MFIS-Practica-2.pdf
41 páginas
36
Apuntes - temario promela.pdf
8 páginas
27
Apuntes - MFIS-AAD-Electrum.pdf
10 páginas
26
Información
Resumen del Tema 5 de Model Checking donde viene explicado de manera resumida y clara el contenido clave que estudiar.