Performance validation tools for software/hardware systems

DOI10.1016/S0166-5316(01)00032-3zbMATH Open1014.68020MaRDI QIDQ4538592

Author name not available (Why is that?)

Publication date: 14 July 2002

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

Full work available at URL: https://eudml.org/doc/105173

zbMATH Keywords

automated model buildingstochastic process algebraslayered queueing modelsperformance validationsoftware performance engineering

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• CADP
• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Performability modelling tools and techniques 👍 👎

This page was built for publication: Performance validation tools for software/hardware systems

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