Validation of Stochastic Systems
From MaRDI portal
Publication:5325838
DOI10.1007/b98484zbMath1203.68102MaRDI QIDQ5325838
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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Probabilistic and Topological Semantics for Timed Automata, Verification and Control of Probabilistic Rectangular Hybrid Automata, Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, Probabilistic Real-Time Rewrite Theories and Their Expressive Power, Calculating Probabilities of Real-Time Test Cases
Uses Software