TY - RPRT TI - Preventive Model-based Verification and Repairing for SDN Requests AU - Igor Burdonov AU - Alexandre Kossachev AU - Nina Yevtushenko AU - Jorge López AU - Natalia Kushik AU - Djamal Zeghlache PY - 2020 UR - https://arxiv.org/abs/1906.03101 ID - 1906.03101 ER -