The updated original online version for this chapter can be found at DOI: 10.1007/978-3-319-42547-4_10
You have full access to this open access chapter, Download conference paper PDF
Erratum to: Chapter “Formal Dependability Modeling and Analysis: A Survey” in: M. Kohlhase et al. (Eds.): Intelligent Computer Mathematics, LNAI, DOI: 10.1007/978-3-319-42547-4_10
The original version of this chapter contained an error. The name of the author Waqar Ahmad was spelled incorrectly as Waqar Ahmed in the original publication. The original chapter was corrected.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this paper
Cite this paper
Ahmad, W., Hasan, O., Tahar, S. (2017). Erratum to: Formal Dependability Modeling and Analysis: A Survey. In: Kohlhase, M., Johansson, M., Miller, B., de Moura, L., Tompa, F. (eds) Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science(), vol 9791. Springer, Cham. https://doi.org/10.1007/978-3-319-42547-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-42547-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42546-7
Online ISBN: 978-3-319-42547-4
eBook Packages: Computer ScienceComputer Science (R0)