8 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene +2
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-spec…