Statistical Model Checking the 2018 Edition!

Guldstrand Larsen, Kim;Legay, Axel
(2018) Statistical Model Checking the 2018 Edition! — p. pp 261-270 (2018)

Files

GuldstrandLarsen-Legay2018_Chapter_StatisticalModelCheckingThe201.pdf
  • Open Access
  • Adobe PDF
  • 245.89 KB
Download

Details

Authors
  • Guldstrand Larsen, Kim
    Author
  • Legay, AxelUCLouvain
    Author
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Guldstrand Larsen, K., & Legay, A. (2018). Statistical Model Checking the 2018 Edition! Statistical Model Checking the 2018 Edition!, pp 261-270. https://doi.org/10.1007/978-3-030-03421-4_17 (Original work published 2018)