scientific article; zbMATH DE number 749807

MaRDI QIDQ4763990zbMATH OpenFDO

Authors Ina Schieferdecker

Publication date 1 May 1995

zbMATH Keywords

process-algebraic calculi

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Performability modelling tools and techniques
• Performance modeling tools with applications
• A Compositional Approach to Performance Modelling
• Model checking for performability
• Performance modelling using probabilistic process algebra
• Performance model checking scenario-aware dataflow
• Performance analysis of probabilistic action systems

Cited in

(2)

• A structural approach for modelling performance of systems using skeletons
• Performance planning

This page was built for publication:

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