Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings > Deep Statistical Model Checking
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings |
Alexey Gotsman; Ana Sokolova
Springer International Publishing
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Deep Statistical Model Checking
Authors

Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz

ARI Id

1665258263932_5595935

Access

Not Available Free

Pages

96-114

DOI

10.1007/978-3-030-50086-3_6

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-50086-3_6

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings