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

Waqar Ahmad, Osman Hasan

Browse the full SETTA paper archive.