Model-Based Testing of Probabilistic Systems with Stochastic Time

DOI10.1007/978-3-319-61467-0_5zbMath1491.68110OpenAlexW2626293886MaRDI QIDQ5086223

Mariëlle I. A. Stoelinga, Marcus Gerhold

Publication date: 1 July 2022

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-61467-0_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Model-Based Testing of Probabilistic Systems with Stochastic Time