Fecha:"06" |
Repositorio: "Unversidad Nacional de La Plata" |
Fecha:"2013" |
Fecha:"2011" |
Fecha:"2012" |
Fecha:"23z" |
Fecha:"2005" |
Temas: "SOFTWARE ENGINEERING" |
Tema:"Informática" |
Idioma:"Español" |
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.
|