"Cause-Consequence Diagram Reliability Analysis Using Formal Techniques ..."

Mohamed Abdelghany, Sofiène Tahar (2021)

Details and statistics

DOI: 10.1109/ACCESS.2021.3051968

access: open

type: Journal Article

metadata version: 2021-03-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics