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

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Acosta, Araceli, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2009
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21062
Aporte de:

Ejemplares similares