A Framework for User-Friendly Verification-Oriented VNF Modeling.

Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov

Browse the full COMPSAC paper archive.