Systems dependability assessment modeling with graphs and finite state automata / Jean-François Aubry, Nicolae Brînzei.

Author/creator Aubry, Jean-François
Other author Brînzei, Nicolae.
Format Electronic
Publication InfoLondon : ISTE Ltd ; Hoboken, NJ : John Wiley & Sons, Inc.,
Descriptionxiv, 182 pages : illustrations ; 25 cm.
Supplemental ContentFull text available from Ebook Central - Academic Complete
Subjects

SeriesFocus series, 2051-2481
Focus risk management and dependability series
Focus series (London, England) ^A1252546
Risk management and dependability series. ^A1278883
Contents Static and time invariant systems with Boolean representation -- Reliability of a coherent system -- What about non-coherent systems? -- Finite state automaton -- Stochastic FSA -- Generalized stochastic FSA -- Stochastic hybrid automaton -- Other models/tools for dynamic dependability versus SHA -- Conclusions and perspectives.
Bibliography noteIncludes bibliographical references (pages 173-180) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2014956809
ISBN9781848217652 (cloth)
ISBN184821765X (cloth)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available