Search
for Author
All Reviews
Gerhold, Marcus
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Model-based testing of probabilistic systems
Gerhold M., Stoelinga M. Formal Aspects of Computing 30(1): 77-106, 2018. Type: Article
Gerhold and Stoelinga’s paper proposes an interesting framework to test probabilistic systems based on the concepts of soundness and completeness. The crux of their argument is “the conformance relation for probabil...
...
Apr 18 2018
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy