Xu, TianHua; Tang, Tao; Gao, ChunHai; Cai, BaiGen Dependability analysis of the data communication system in train control system. (English) Zbl 1177.90075 Sci. China, Ser. E 52, No. 9, 2605-2618 (2009). MSC: 90B18 90B25 93C95 PDFBibTeX XMLCite \textit{T. Xu} et al., Sci. China, Ser. E 52, No. 9, 2605--2618 (2009; Zbl 1177.90075) Full Text: DOI
Catania, Vincenzo; Puliafito, Antonio; Riccobene, Salvatore; Vita, Lorenzo Design and performance analysis of a disk array system. (English) Zbl 1048.68549 IEEE Trans. Comput. 44, No. 10, 1236-1247 (1995). MSC: 68M99 68M20 PDFBibTeX XMLCite \textit{V. Catania} et al., IEEE Trans. Comput. 44, No. 10, 1236--1247 (1995; Zbl 1048.68549) Full Text: DOI
Muppala, Jogesh K.; Trivedi, Kishor S.; Mainkar, Varsha; Kulkarni, Vidyadhar G. Numerical computation of response time distributions using stochastic reward nets. (English) Zbl 0804.60092 Ann. Oper. Res. 48, No. 1-4, 155-184 (1994). Reviewer: W.Henderson (Adelaide) MSC: 60K30 90B15 PDFBibTeX XMLCite \textit{J. K. Muppala} et al., Ann. Oper. Res. 48, No. 1--4, 155--184 (1994; Zbl 0804.60092) Full Text: DOI
Ciardo, Gianfranco; Blakemore, Alex; Chimento, Philip E. jun.; Muppala, Jogesh K.; Trivedi, Kishor S. Automated generation and analysis of Markov reward models using stochastic reward nets. (English) Zbl 0799.60085 Meyer, Carl D. (ed.) et al., Linear algebra, Markov chains, and queueing models. Proceedings of the workshop held as part of the year of applied linear algebra at the Institute for Mathematics and its Applications in Minnesota, MN, USA, January 13-17, 1992. New York: Springer-Verlag. IMA Vol. Math. Appl. 48, 145-191 (1993). Reviewer: S.Kalpakam (Madras) MSC: 60K10 90B25 PDFBibTeX XMLCite \textit{G. Ciardo} et al., IMA Vol. Math. Appl. 48, 145--191 (1993; Zbl 0799.60085)
Haverkort, Boudewijn R.; Trivedi, Kishor S. Specification techniques for Markov reward models. (English) Zbl 0777.68029 Discrete Event Dyn. Syst. 3, No. 2-3, 219-247 (1993). Reviewer: B.R.Haverkort MSC: 68M20 68N99 PDFBibTeX XMLCite \textit{B. R. Haverkort} and \textit{K. S. Trivedi}, Discrete Event Dyn. Syst. 3, No. 2--3, 219--247 (1993; Zbl 0777.68029) Full Text: DOI