A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor.

Asier Larrucea, Jon Prez, Irune Agirre, Vicent Brocal, Roman Obermaisser

Browse the full DSD paper archive.