A Aralex Aachen research explorer

June 26, 2003 conference-paper

Reliability prediction and sensitivity analysis based on software architecture

Proceedings/Proceedings - International Symposium on Software Reliability Engineering

DOI: 10.1109/issre.2002.1173214 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 166

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

2

citations

2 results

References 0