1 paper
Valentin Abgrall, Marcello Traiola, Ruben Salvador +3
Safety-critical real-time systems must satisfy multiple dependability requirements, notably time predictability and security. In such systems, tasks must complete within bounded an…