Search alternatives:
statistical inferences » statistical convergence, statistical independence
statistical services » statistical survey, statistical studies
inferences » conferences
inference » conference
Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...-B Decomposition.- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “...Statistical Model Checking: Black or White? -- Probabilistic Mission Planning and Analysis...”
Cover Image
Read Now

3
Published 2014
Springer Berlin Heidelberg
Table of Contents: “...Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
Table of Contents: “....- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.- Checking Correctness of Services...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “...-Based Testing as a Service for IoT Platforms -- ISoLA Doctoral Symposium -- Handling domain knowledge...”