Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking.

Asim Abdulkhaleq, Stefan Wagner

Browse the full SAFECOMP paper archive.