Stochastic Model Checking of the Stochastic Quality Calculus

DOI10.1007/978-3-319-15545-6_30zbMath1454.68079OpenAlexW294595811WikidataQ59416302 ScholiaQ59416302MaRDI QIDQ5256368

Kebin Zeng, Flemming Nielson, Hanne Riis Nielson

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

A calculus of quality for robustness against unreliable communication ⋮ Stochastic Model Checking of the Stochastic Quality Calculus

Cites Work

• A calculus of quality for robustness against unreliable communication
• Stochastic Model Checking
• Stochastic Model Checking of the Stochastic Quality Calculus
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Validation of Stochastic Systems
• A Compositional Approach to Performance Modelling
• Model-checking continuous-time Markov chains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stochastic Model Checking of the Stochastic Quality Calculus