Search
Now showing items 1-1 of 1
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
(2011-03-28)
Los sistemas tolerantes a fallas son aquellos que son capaces de seguir operando luego de la ocurrencia de una o más fallas. Una falla puede provocar cambios no deseados en el estado interno del sistema, y para que el ...