Advertisement

Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking

  • Ashalatha KunnappillyEmail author
  • Raluca Marinescu
  • Cristina Seceleanu
Correction
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11245)

Correction to: Chapter “Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking” in: T. Margaria and B. Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation, LNCS 11245, https://doi.org/10.1007/978-3-030-03421-4_29

In the original version of this chapter, Fig. 3 was incorrect. This has now been corrected.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Ashalatha Kunnappilly
    • 1
    Email author
  • Raluca Marinescu
    • 1
  • Cristina Seceleanu
    • 1
  1. 1.Mälardalen UniversityVästeråsSweden

Personalised recommendations