Open and cost-effective virtualization techniques and supporting separation kernel for the embedded systems industry

Instituto Universitario de Automática e Informática Industrial