Home > Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II > Using Statistical Model Checking for Measuring Systems
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II |
Springer Berlin Heidelberg
Using Statistical Model Checking for Measuring Systems
Chapter Info
Authors
ARI Id
1664705495815_2822779
Access
Not Available Free
Pages
223-238
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-662-45231-8_16
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...