KS Trivedi, R Sahner - ACM SIGMETRICS Performance Evaluation …, 2009 - dl.acm.org
This paper discusses the modeling tool called SHARPE (Symbolic Hierarchical Automated
Reliability and Performance Evaluator), a general hierarchical modeling tool that analyzes …