SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator
Publication
, Journal Article
Trivedi, KS
Published in: Proceedings of the 2002 International Conference on Dependable Systems and Networks
January 1, 2002
SHARPE is a well known package in the field of reliability and performability, used in universities as well as in companies. It is believed that SHARPE is a useful modeler's "toolchest" because it contains support for multiple model types and provides flexible mechanisms for combining results so that models can be used in hierarchical combinations. Thus, it allows its users to construct and analyze dependability, performance and performability models. It gives users direct and complete access to the model types without making any assumptions about an application domain.
Duke Scholars
Published In
Proceedings of the 2002 International Conference on Dependable Systems and Networks
DOI
Publication Date
January 1, 2002
Start / End Page
544
Citation
APA
Chicago
ICMJE
MLA
NLM
Trivedi, K. S. (2002). SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator. Proceedings of the 2002 International Conference on Dependable Systems and Networks, 544. https://doi.org/10.1109/DSN.2002.1028975
Trivedi, K. S. “SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, January 1, 2002, 544. https://doi.org/10.1109/DSN.2002.1028975.
Trivedi KS. SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator. Proceedings of the 2002 International Conference on Dependable Systems and Networks. 2002 Jan 1;544.
Trivedi, K. S. “SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, Jan. 2002, p. 544. Scopus, doi:10.1109/DSN.2002.1028975.
Trivedi KS. SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator. Proceedings of the 2002 International Conference on Dependable Systems and Networks. 2002 Jan 1;544.
Published In
Proceedings of the 2002 International Conference on Dependable Systems and Networks
DOI
Publication Date
January 1, 2002
Start / End Page
544