This technical report proposes a formal semantics for EMV2 and shows how to leverage this semantics to generate fault trees from an AADL model enriched with EMV2 information.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback