55 citations · 77 across the 4 of their papers we have counts for
1 paper · 2 filters
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…