External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

Dennis Guck, Jip Spel, Mariëlle Stoelinga. DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). In Michael Butler, Sylvain Conchon, Fatiha Zaïdi, editors, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Volume 9407 of Lecture Notes in Computer Science, pages 304-311, Springer, 2015. [doi]

Authors

Dennis Guck

This author has not been identified. Look up 'Dennis Guck' in Google

Jip Spel

This author has not been identified. Look up 'Jip Spel' in Google

Mariëlle Stoelinga

This author has not been identified. Look up 'Mariëlle Stoelinga' in Google
runs on