Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar. Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. In Aaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Volume 10811 of Lecture Notes in Computer Science, pages 139-156, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.