Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUDITED COMPUTATIONS
2
BYTECODE
2
COMPUTACIONES AUDITADAS
2
CURRY-HOWARD ISOMORPHISM
2
DECLASSIFICATION
2
DESCLASIFICACION
2
FLUJO DE INFORMACION
2
INFORMATION FLOW
2
ISOMORFISMO DE CURRY-HOWARD
2
JUSTIFICATION LOGIC
2
LOGICA DE JUSTIFICACION
2
NO INTERFERENCIA
2
NONINTERFERENCE
2
ROBUSTES
2
ROBUSTNESS
2
-
1por Bavera, Francisco PedroMaterias: “...INFORMATION FLOW...”
Publicado 2012
Tesis doctoral publishedVersion -
2por Bavera, Francisco PedroMaterias: “...INFORMATION FLOW...”
Publicado 2012
Tesis doctoral publishedVersion