1 paper
Jinghui Cheng, Micayla Goodrum, Ronald Metoyer +1
Safety-critical software systems are those whose failure or malfunction could result in casualty and/or serious financial loss. In such systems, safety assurance cases (SACs) are a…