In Execution
Desarrollo de un ambiente de diseño para sistemas embebidos usando FPGA y hardware reconfigurable generico
Julio Dondo Gazzano
Julio Dondo Gazzano
Utilización del Slicing de Programas en la Validación y Modificación de Las Propiedades De Un Programa
Salvador V. Cavadini
Salvador V. Cavadini
Specification and verification of the Java Memory Model for multi-threaded applications
Gustavo Petri
Gustavo Petri
Certificación automática de propiedades de seguridad de código fuente Java en lógica de reescritura
Mauricio Fernando Alba Castro
Mauricio Fernando Alba Castro