Fecha:"2009" |
Fecha:"12" |
Idioma:"Español" |
Fecha:"19" |
Fecha:"04t15" |
Fecha:"2010" |
Fecha:"2007" |
Repositorio: "Unversidad Nacional de La Plata" |
Tema:"Informática" |
Temas: "SOFTWARE ENGINEERING" |
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.
|