Skip to main content
Conference Proceedings

Statistical model checking the 2018 edition!

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 11245 LNCS 261-270
DOI: 10.1007/978-3-030-03421-4_17
5Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at Isola 2018. This is the fourth edition of the track at Isola.

Cite

CITATION STYLE

APA

Guldstrand Larsen, K., & Legay, A. (2018). Statistical model checking the 2018 edition! In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11245 LNCS, pp. 261–270). Springer Verlag. https://doi.org/10.1007/978-3-030-03421-4_17

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free