Construction and verification of performance and reliability models

MaRDI QIDQ2743687zbMATH OpenFDO

Authors Holger Hermanns

Publication date 27 September 2001

Published in Bulletin of the European Association for Theoretical Computer Science EATCS (Search for Journal in Brave)

zbMATH Keywords

process algebrastochastic modelling

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2155192
• scientific article; zbMATH DE number 1786471
• A Compositional Approach to Performance Modelling
• Model checking for performability
• scientific article; zbMATH DE number 2079828

Cited in

(4)

• scientific article; zbMATH DE number 1629928 (Why is no real title available?)
• Stochastic modelling of communication protocols from source code
• scientific article; zbMATH DE number 1250619 (Why is no real title available?)
• scientific article; zbMATH DE number 2155192 (Why is no real title available?)

This page was built for publication: Construction and verification of performance and reliability models

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