Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nagy, Simon József"'
Publikováno v:
EPTCS 316, 2020, pp. 240-260
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to
Externí odkaz:
http://arxiv.org/abs/2004.13290