Ahmed, Waqar
Hasan, Osman
Tahar, Sofiène
Funding for this research was provided by:
Qatar National Research Fund (5-813-1-134)
This article is maintained by: Elsevier
Article Title: Formalization of Reliability Block Diagrams in Higher-order Logic
Journal Title: Journal of Applied Logic
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jal.2016.05.007
Content Type: article
Copyright: © 2016 Elsevier B.V.