yy
enviar
Inicio
Explorar recursos
Búsqueda Avanzada
Acerca de
Contacto
CAICYT
Micrositios
Servicios
Navegación por Items
Según criterio de búsqueda:
Palabras clave es exacto "METODOS FORMALES"
8 registros
Ordenar por:
Nombres y apellidos
Fecha de agregación
Navegar por
Items
Disciplina científica
Espacio institucional
Ignacio VISSANI
Temas de investigacion
INFORMATICA
Disciplina cientifica
Informática y Comunicaciones
Keywords
INGENIERÍA DE SOFTWARE
MÉTODOS FORMALES
SOFTWARE ORIENTADO A SERVICIOS
Raúl Enrique MONTI
Temas de investigacion
INFORMATICA-VARIAS
Disciplina cientifica
Informática y Comunicaciones
Keywords
METODOS FORMALES
PROCESOS ESTOCASTICOS NO DETERMINISTAS
VERIFICACION
Cecilia Noelia KILMURRAY
Temas de investigacion
INGENIERIA-OTRAS
Disciplina cientifica
Informática y Comunicaciones
Keywords
METODOS FORMALES
MODEL CHECKING
TOLERANCIA A FALLAS
Carlos Esteban BUDDE
Temas de investigacion
INFORMATICA
Disciplina cientifica
Informática y Comunicaciones
Keywords
MÉTODOS FORMALES
PROCESOS ESTOCÁSTICOS NO DETERMINISTAS
SEMÁNTICA DE PROCESOS
Renzo Gastón DEGIOVANNI
Temas de investigacion
INGENIERIA-OTRAS
Disciplina cientifica
Informática y Comunicaciones
Keywords
ANALISIS BASADO EN SAT
INGENIERIA DE REQUISITOS
METODOS FORMALES
Sergio Fabian YOVINE
Temas de investigacion
INFORMATICA-OTRAS
Disciplina cientifica
Informática y Comunicaciones
Matemática
Keywords
Métodos Formales
Síntesis y Análisis de Programas
Sistemas Embebidos
Silvia Susana PELOZO
Temas de investigacion
INFORMATICA-OTRAS
Disciplina cientifica
Informática y Comunicaciones
Keywords
DEPENDIBILIDAD
MÉTODOS FORMALES
SISTEMAS DISTRIBUIDOS
Ricardo Javier CORIN
Temas de investigacion
INFORMATICA-VARIAS
Disciplina cientifica
Informática y Comunicaciones
Keywords
METODOS FORMALES
PROTOCOLOS CRIPTOGRAFICOS
VERIFICACION