Fecha:"11" |
Fecha:"2007" |
Temas: "Ciencias Informáticas" |
Fecha:"2000" |
Fecha:"01t03" |
Temas: "SOFTWARE ENGINEERING" |
Tema:"Informática" |
Repositorio: "Unversidad Nacional de La Plata" |
Code generation | (1) |
Information flow controls | (1) |
Security | (1) |
concurrencia | (1) |
código móvil seguro | (1) |
Más... |
1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
2.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|