55 citations · 131 across the 6 of their papers we have counts for
1 paper · 1 filter
Xingyu Zhao, Kizito Salako, Lorenzo Strigini +2
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular…