DI LEONARDI, SANDRO
DI LEONARDI, SANDRO
Istituto di Telecomunicazioni, Informatica e Fotonica
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
En-50128 certification-oriented design of a safety-critical hard real-Time kernel
2019-01-01 Donnarumma, C.; Fara, P.; Serra, G.; Di Leonardi, S.; Marinoni, M.
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints
2023-01-01 Leonardi, Sandro Di; Aromolo, Federico; Fara, Pietro; Serra, Gabriele; Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
En-50128 certification-oriented design of a safety-critical hard real-Time kernel | 1-gen-2019 | Donnarumma, C.; Fara, P.; Serra, G.; Di Leonardi, S.; Marinoni, M. | |
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints | 1-gen-2023 | Leonardi, Sandro Di; Aromolo, Federico; Fara, Pietro; Serra, Gabriele; Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio |