Validation of stochastic systems. A guide to current research.

DOI10.1007/B98484zbMath1047.68001OpenAlexW657718082MaRDI QIDQ1883944

No author found.

Publication date: 19 October 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98484

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Modeling for Verification ⋮ On metrics for probabilistic systems: definitions and algorithms ⋮ Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness

This page was built for publication: Validation of stochastic systems. A guide to current research.