Abstrakt
This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at ISOLA 2020.
Originalsprog | Engelsk |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings |
Redaktører | Tiziana Margaria, Bernhard Steffen |
Antal sider | 6 |
Forlag | Springer |
Publikationsdato | 2020 |
Sider | 325-330 |
ISBN (Trykt) | 9783030613617 |
DOI | |
Status | Udgivet - 2020 |
Begivenhed | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Grækenland Varighed: 20 okt. 2020 → 30 okt. 2020 |
Konference
Konference | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 |
---|---|
Land/Område | Grækenland |
By | Rhodes |
Periode | 20/10/2020 → 30/10/2020 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 12476 |
ISSN | 0302-9743 |
Bibliografisk note
Publisher Copyright:© 2020, Springer Nature Switzerland AG.