Systems Dependability Assessment: Modeling with Graphs and Finite State Automata (Focus in Risk Management and Dependability)

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.