Mostrando
1 - 4
Resultados de
4
Para Buscar '
Regis, Germán Enrique
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Regis, Germán Enrique
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Regis, Germán Enrique
'
, tiempo de consulta: 0.07s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Especificación formal y verificación de propiedades temporales de procesos de negocios
por
Regis
,
Germán
Enrique
Publicado 2014
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis Doctoral
Agregar a favoritos
Guardado en:
2
Especificación formal y verificación de propiedades temporales de procesos de negocios
por
Regis
,
Germán
Enrique
Publicado 2014
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
3
Especificación formal y verificación de propiedades temporales de procesos de negocios
por
Regis
,
Germán
Enrique
Publicado 2014
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
4
Especificación de modelos dinámicos y análisis automático de propiedades con herramientas basadas en Alloy
por
Cornejo, César Mauricio
Publicado 2024
Otros Autores:
“
...
Regis
,
Germán
Enrique
...
”
Aportado por:
Repositorio Digital Universitario (UNC)
Enlace del recurso
doctoralThesis
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
ANALISIS AUTOMATICO
AUTOMATIC ANALYSIS
BUSINESS PROCESS
FLUENTES
FLUENTS
LOGICAS TEMPORALES
MODEL CHECKING
PROCESOS DE NEGOCIOS
TEMPORAL LOGICS
WORKFLOWS
Alloy
Análisis automatizado
Automated analysis
Chord protocol
Dynamic properties
Formal methods
Lenguajes de especificación
Métodos formales
Propiedades dinámicas
Propiedades funcionales del software
SAT solving
Software functional properties
Software verification
Specification languages
Verificación de software
Cargando...