INVESTIGADORES
REGIS German Enrique
datos académicos
Título/s
Doctor de la Universidad de Buenos Aires en el área Ciencias de la Computación
Licenciado en Ciencias de la Computación
Licenciado en Ciencias de la Computación
Categoría
INV ASISTENTE
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Campo de aplicación
Comunicaciones-Telecomunicaciones
Especialidad
Verificación de Software
Tema
Análisis de modelos relacionales mediante la exploración de instancias
Tema en inglés
Analysis of Relational Models through Instances Exploration
Palabras clave
Métodos Formales // Modelos Relacionales // SAT Solving
Palabras clave en inglés
Formal Methods // Relational Models // SAT Solving
Director
AGUIRRE, NAZARENO MATIAS / INV INDEPENDIENTE
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
