Systems dependability assessment : modeling with graphs and finite state automata

Description

**Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts**