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
examenes
Información
Ejercicios de PROMELA tipos que entran en los exámenes de MCSF
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
Ejercicios de PROMELA tipos que entran en los exámenes de MCSF