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

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

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

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

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

5
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

6
Published 2018
Springer International Publishing
Table of Contents: “... -- Model-based Development for High-Assurance Embedded Systems -- DSLs for Decision Services: A Tutorial...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
Table of Contents: “... of services through tuple-based coordination -- A Dynamic Logic for Systems with Predicate-based Communication --...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “... Coverage Guarantees -- Towards Automated Service-oriented Verification of Embedded Control Software modeled...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
Table of Contents: “... for ensuring reliable on-demand services in collective adaptive systems -- Data-driven modelling and simulation...”