Serena Spinoso

1 та иш

Politecnico di Torino, Turin, Italy

1. Improving the Formal Verification of Reachability Policies in Virtualized Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +3

   МақолаSoftware-Defined Networks and 5GIEEE Transactions on Network and Service Management20201 иқтибос

   ABIABI:AkademIndex/openalex/2026.other.062452