TURIN, GIANLUCA
TURIN, GIANLUCA
INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
A Formal Model of the Kubernetes Container Framework
2020-01-01 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
On checking delta-oriented product lines of statecharts
2018-01-01 Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
Predicting resource consumption of Kubernetes container systems using resource models
2023-01-01 Turin G.; Borgarelli A.; Donetti S.; Damiani F.; Johnsen E.B.; Tapia Tarifa S.L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Model of the Kubernetes Container Framework | 2020 | Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F. | |
| On checking delta-oriented product lines of statecharts | 2018 | Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca | |
| Predicting resource consumption of Kubernetes container systems using resource models | 2023 | Turin G.; Borgarelli A.; Donetti S.; Damiani F.; Johnsen E.B.; Tapia Tarifa S.L. |