Stochastic Model Checking of the Stochastic Quality Calculus
From MaRDI portal
Publication:5256368
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
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
A calculus of quality for robustness against unreliable communication, Stochastic Model Checking of the Stochastic Quality Calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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