A formal model of the kubernetes container framework G Turin, A Borgarelli, S Donetti, EB Johnsen, SL Tapia Tarifa, F Damiani International Symposium on Leveraging Applications of Formal Methods, 558-577, 2020 | 15 | 2020 |
The Journal of Systems & Software S Tuli, SS Gill, M Xu, P Garraghan, R Bahsoon, S Dustdar, R Sakellariou, ... | | 2021 |