You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Kunnappilly, A., Marinescu, R., Seceleanu, C. (2019). Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Verification. ISoLA 2018. Lecture Notes in Computer Science(), vol 11245. Springer, Cham. https://doi.org/10.1007/978-3-030-03421-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-030-03421-4_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03420-7
Online ISBN: 978-3-030-03421-4
eBook Packages: Computer ScienceComputer Science (R0)