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.

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Industrial Informatics, 14(1):370-379, 2018. [doi]

Authors

Matthias Volk 0001

This author has not been identified. Look up 'Matthias Volk 0001' in Google

Sebastian Junges

This author has not been identified. Look up 'Sebastian Junges' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google
runs on