Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache. Preventive Model-based Verification and Repairing for SDN Requests. In Raian Ali, Hermann Kaindl, Leszek A. Maciaszek, editors, Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021. pages 421-428, SCITEPRESS, 2021. [doi]
Abstract is missing.