I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A Formal Model of the Kubernetes Container Framework:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Turin, Gianluca ; Borgarelli, Andrea ; Donetti, Simone... - p. 558-577 , 2020
Link: https://doi.org/10.1007/978-3-030-61362-4_32