Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos

Document

Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos

Acosta, Araceli et al · SEDICI UNLP · 2009

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Acosta, Araceli et al

Editorial

SEDICI UNLP

Año

2009

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

En este artículo, presentamos una formalización de fallas y sistemas tolerantes a fallas basada en un nuevo formalismo denominado sistemas reactivos de transiciones etiquetadas de estados. La formalización difiere de propuestas anteriores en varios aspectos: (i) separa la descripción del sistema de aquella asociada con el comportamiento de la falla (la cual es superimpuesta sobre el comportamiento del sistema), (ii) provee un significado preciso de la noción de "sistema tolerante a fallas", la cual es dependiente de falla, y requiere una especificación de requisitos del sistema. VI Workshop Ingeniería de Software (WIS) Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Acosta, A. E. A. (2009). Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21062

MLA

Acosta, Araceli et al. Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos. SEDICI UNLP, 2009. http://sedici.unlp.edu.ar/handle/10915/21062.

Chicago

Acosta, Araceli et al. 2009. Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21062.

Harvard

Acosta, A. E. A. 2009, Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/21062 [Accessed 7 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos

Autor / colaboradores: Acosta, Araceli et al

Editorial: SEDICI UNLP

Año de publicación: 2009

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Fault tolerance