The UltraSAN modeling environment

DOI10.1016/0166-5316(95)00012-MzbMath0875.68664OpenAlexW2133820906MaRDI QIDQ3122574

No author found.

Publication date: 28 February 1997

Published in: Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0166-5316(95)00012-m

zbMATH Keywords

PerformancePerformabilityDependabilityStochastic Petri netsStochastic activity networksModel-based evaluation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Formal reliability analysis of redundancy architectures

This page was built for publication: The UltraSAN modeling environment