Validation of Stochastic Systems
From MaRDI portal
Publication:5325834
DOI10.1007/B98484zbMath1203.68113OpenAlexW657718082MaRDI QIDQ5325834
Mario Bravetti, Pedro R. D'Argenio
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98484
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 (8)
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ Reduction semantics in Markovian process algebra ⋮ Extending Timed Process Algebra with Discrete Stochastic Time ⋮ A theory of stochastic systems. I: Stochastic automata ⋮ A theory of stochastic systems. II: Process algebra ⋮ Stochastic Model Checking of the Stochastic Quality Calculus ⋮ Calculating Probabilities of Real-Time Test Cases
Uses Software
This page was built for publication: Validation of Stochastic Systems
