Advertisement

Erratum to: Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

  • Waqar AhmadEmail author
  • Osman Hasan
Erratum
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9984)

Erratum to: Chapter “Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach” in: M. Fränzle et al. (Eds.): Dependable Software Engineering, LNCS, DOI:  10.1007/978-3-319-47677-3_17

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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceNational University of Sciences and TechnologyIslamabadPakistan

Personalised recommendations