Information Leakage as a Scheduling Resource
Biondi, Fabrizio ; Chadli, Mounir ; Given-Wilson, Thomas ; Legay, Axel
Critical Systems: Formal Methods and Automated Verification, p.83-99
[Periódico revisado por pares]
Cham: Springer International Publishing
Sem texto completo