DMCA

A (Not) NICE Way to Verify the OpenFlow Switch Specification Formal Modelling of the OpenFlow Switch Using Alloy

by Natali Ruchansky , Davide Proserpio
Citations:1 - 0 self