Listar por autor "Paladi, Nicolae"
Mostrando ítems 1-1 de 1
-
Validation of SDN policies: a property-based testing perspective
Castro, Laura M.; Paladi, Nicolae (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 ...