Introduzione ai concetti e alla modellistica dei sistemi dependable
di Francesco Flammini
Una monografia sui principi di progettazione ed analisi dei sistemi di elaborazione critici per affidabilità e sicurezza, con particolare enfasi sugli approcci di valutazione attraverso modelli stocastici predittivi.