Computing System Reliability Models and Analysis /
Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different t...
Κύριοι συγγραφείς: | Xie, Min (Συγγραφέας), Dai, Yuan-Shun (Συγγραφέας), Poh, Kim-Leng (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA :
Springer US,
2004.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Logic and Integer Programming
ανά: Williams, H. Paul
Έκδοση: (2009) -
Transactions on Petri Nets and Other Models of Concurrency III
Έκδοση: (2009) -
Validation of Stochastic Systems A Guide to Current Research /
Έκδοση: (2004) -
Adapting Proofs-as-Programs The Curry-Howard Protocol /
ανά: Poernomo, Iman Hafiz, κ.ά.
Έκδοση: (2005) -
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)