ListarModels and Applications of Distributed Systems (MADS) por tema "Hypothesis"
Mostrando ítems 1-1 de 1
-
Validation of SDN policies: a property-based testing perspective
(Elsevier BV, 2019)[Abstract] Software-defined networks are being widely adopted and used in large and complex networks supporting critical operations. Their increasing importance highlights the need for effective validation of SDN topologies ...