[IEEE 2014 16th Asia-Pacific Network Operations and Management Symposium (APNOMS) - Hsinchu, Taiwan (2014.9.17-2014.9.19)] The 16th Asia-Pacific Network Operations and Management Symposium - Efficient model checking of OpenFlow networks using SDPOR-DS
Yakuwa, Yutaka, Tomizawa, Nobuyuki, Tonouchi, ToshioYear:
2014
Language:
english
DOI:
10.1109/apnoms.2014.6996558
File:
PDF, 930 KB
english, 2014