INVESTIGADORES
CASTRO Pablo Francisco
datos académicos
Título/s
Ph.D. in Computer Science
Analista en Computación
Licenciatura en Ciencias de la Computación
Analista en Computación
Licenciatura en Ciencias de la Computación
Categoría
INV ADJUNTO
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INGENIERIA-OTRAS
Campo de aplicación
Comunicaciones-Telecomunicaciones
Especialidad
Metodos Formales y Desarrollo de Software
Tema
Formalismos Deónticos para Razonar sobre Tolerancia a Fallas
Tema en inglés
Deontic Formalisms for Reasoning about Fault-Tolerance
Palabras clave
MÉTODOS FORMALES // VERIFICACIÓN DE SOFTWARE // LÓGICAS DEONTICAS
Palabras clave en inglés
FORMAL METHODS // SOFTWARE VERIFICATION // DEONTIC LOGICS
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
