Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
6
Seminario de Posgrado sobre Sinergias entre Verificación y Aprendizaje Automático (2022). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Seminario Avanzado sobre Modelos y Algoritmos para el Análisis de Sistemas (2018). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Verificación y Validación Automatizada (2013). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Tecnologías y Conceptos de Arquitectura de Software (2007). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Modelado y Análisis de Sistemas Reactivos y Concurrentes (2008). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Análisis de Requisitos Temporales (2007). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación