Method Based on SEFT-to-Petri for Safety Analysis of Software
, , , , and
MATEC Web Conf., 179 (2018) 03030
Published online: 26 July 2018
DOI: 10.1051/matecconf/201817903030

