Showing 1 - 1 results of 1 for search 'Yassmeen Elderhalli', query time: 0.02s Refine Results
  1. 1
    A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving

    A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving by Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar

    Published 2019-01-01
    Get full text
    Article

Search Tools: