The UltraSAN modeling environment

DOI10.1016/0166-5316(95)00012-MMaRDI QIDQ3122574zbMATH OpenOpenAlexFDO

Authors

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

DependabilityModel-based evaluationPerformabilityPerformanceStochastic activity networksStochastic Petri nets

Mathematics Subject Classification ID

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

Recommendations

• The unified modeling language
• scientific article; zbMATH DE number 4197410
• System of developing scale modeling and simulation for URAV

Cited in

(1)

• Formal reliability analysis of redundancy architectures

This page was built for publication: The UltraSAN modeling environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122574)