Search for Author All Reviews
	Stoelinga, Marielle     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