Narrow search
Showing 1 - 6 of 6
Cover Image
Comment-Correction: Dependability modeling using Petri nets
Bänsch, K.; Hein, A.; Malhotra, M.; Trivedi, K. - In: IEEE transactions on reliability : R ; IEEE T R 45 (1996) 2, pp. 272-273
Persistent link: https://www.econbiz.de/10006633620
Cover Image
Power-hierarchy of dependability-model types
Malhotra, M.; Trivedi, K. - In: IEEE transactions on reliability : R ; IEEE T R 43 (1994) 3, pp. 493-501
Persistent link: https://www.econbiz.de/10006636936
Cover Image
An efficient stiffness-insensitive method for transient analysis of Markov availability models
Malhotra, M. - In: IEEE transactions on reliability : R ; IEEE T R 45 (1996) 3, pp. 426-428
Persistent link: https://www.econbiz.de/10006633061
Cover Image
NETWORK-SYSTEM COMPUTATION & ANALYSIS - A BDD-based algorithm for reliability analysis of phased-mission systems
Zang, X.; Sun, H.; Trivedi, K. - In: IEEE transactions on reliability : R ; IEEE T R 48 (1999) 1, pp. 50-60
Persistent link: https://www.econbiz.de/10006627101
Cover Image
An improved algorithm for coherent-system reliability
Luo, T.; Trivedi, K. - In: IEEE transactions on reliability : R ; IEEE T R 47 (1998) 1, pp. 73-78
Persistent link: https://www.econbiz.de/10006628551
Cover Image
Multiprocessor performability analysis
Lopez-Benitez, N.; Trivedi, K. - In: IEEE transactions on reliability : R ; IEEE T R 42 (1993) 4, pp. 579-587
Persistent link: https://www.econbiz.de/10006639148