Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
Crossref DOI link: https://doi.org/10.1007/978-3-319-77935-5_10
Published Online: 2018-03-11
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Elderhalli, Yassmeen http://orcid.org/0000-0003-4437-2933
Hasan, Osman http://orcid.org/0000-0003-2562-2669
Ahmad, Waqar http://orcid.org/0000-0003-2787-4704
Tahar, Sofiène http://orcid.org/0000-0002-5537-104X
License valid from 2018-01-01