Systems Dependability Assessment: Modeling with Graphs and Finite State Automata

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.