scientific article; zbMATH DE number 749807

zbMATH Open0817.68104MaRDI QIDQ4763990

Ina Schieferdecker

Publication date: 1 May 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process-algebraic calculi

Mathematics Subject Classification ID

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

Related Items (1)

Performance planning

Recommendations

• Unnamed Item 👍 👎
• Performance analysis of probabilistic action systems 👍 👎
• Performance modelling using probabilistic process algebra 👍 👎
• Model checking for performability 👍 👎
• Performance Model Checking Scenario-Aware Dataflow 👍 👎
• Performability modelling tools and techniques 👍 👎
• A Compositional Approach to Performance Modelling 👍 👎

This page was built for publication: