Systems Dependability Assessment. Modeling with Graphs and Finite State Automata. Nicolae Brinzei

Аннотация:

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.