Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Deposit type : Fulltext
labStructName_s : Dipartimento di Automatica e Informatica [Torino]
Image document

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context

Serena Spinoso , Matteo Virgilio , Wolfgang John , Antonio Manzalini , Guido Marchetto , et al.
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.253-262, ⟨10.1007/978-3-319-24072-5_18⟩
Conference papers hal-01757560v1