Filter by: Subject
Now showing items 1-6
Lógicas deónticas (1) |
Métodos formales (1) |
Theory of computation (1) |
Tolerancia a fallas (1) |
Verificación de software (1) |
Verification by model checking (1) |
Lógicas deónticas (1) |
Métodos formales (1) |
Theory of computation (1) |
Tolerancia a fallas (1) |
Verificación de software (1) |
Verification by model checking (1) |