Mostrando 1 - 4 Resultados de 4 Para Buscar 'Regis, Germán Enrique' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
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
  1. 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. 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. 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. 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

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...