Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net
Top Cited Papers
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Software-faults: The remaining problem in fault tolerant systems?Published by Springer Nature ,2005
- A characterization of the stochastic process underlying a stochastic Petri netIEEE Transactions on Software Engineering, 1994
- Markov regenerative stochastic Petri netsPerformance Evaluation, 1994
- Analysis of stochastic Petri nets by the method of supplementary variablesPerformance Evaluation, 1994
- Dependability and performability analysis using stochastic Petri netsPublished by Springer Nature ,1994
- Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward NetsPublished by Springer Nature ,1993
- The reliability of life-critical computer systemsActa Informatica, 1986
- An Inversion Technique for the Laplace TransformBell System Technical Journal, 1982
- Optimal maintenance models for systems subject to failure–A ReviewNaval Research Logistics Quarterly, 1981
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975