Fecha:"2012" |
Fecha:"no_restriction" |
Fecha:"2013" |
Fecha:"2009" |
Repositorio: "Unversidad Nacional de La Plata" |
Fecha:"2003" |
Fecha:"45z" |
Temas: "SOFTWARE ENGINEERING" |
Tema:"Informática" |
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.
|