MPG.eBooks - Search Results - ((((statistical services) or (statistical shape))) or (statistical inferences))

Search alternatives:
statistical inferences » statistical inference , statistical convergence , statistical independence
statistical services » statistical survey , statistical studies
statistical shape » statistical software

Cover Image

1

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I...

Published 2012

Springer Berlin Heidelberg

Table of Contents: “....- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.- Checking Correctness of Services...”