Filtrar por: Materia
Mostrando items 1-10
Comprobación del modelo (1) |
Equational Theory (1) |
Inference Rule (1) |
Model Check (1) |
Obligación de prueba (1) |
Proof Obligation (1) |
Propiedad de seguridad (1) |
Regla de inferencia (1) |
Safety Property (1) |
Teoría Ecuacional (1) |