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

Asier Larrucea Jon Pérez Irune Agirre Vicent Brocal Roman Obermaisser

Published in: DSD (2015)

Keyphrases

control system
high level
database systems
operating system
artificial intelligence
e learning
search algorithm
artificial neural networks
distributed systems
communication networks