Preventive Model-based Verification and Repairing for SDN Requests.

Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge Lpez, Natalia Kushik, Djamal Zeghlache

Browse the full ENASE paper archive.