Systems Dependability Assessment Modeling With Graphs and Finite State Automate

Jean-Francois Aubry Nicolae Brinzei