Preventive Model-based Verification and Repairing for SDN Requests

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]

@inproceedings{BurdonovKYLKZ21,
  title = {Preventive Model-based Verification and Repairing for SDN Requests},
  author = {Igor B. Burdonov and Alexandre Kossachev and Nina Yevtushenko and Jorge López and Natalia Kushik and Djamal Zeghlache},
  year = {2021},
  doi = {10.5220/0010494504210428},
  url = {https://doi.org/10.5220/0010494504210428},
  researchr = {https://researchr.org/publication/BurdonovKYLKZ21},
  cites = {0},
  citedby = {0},
  pages = {421-428},
  booktitle = {Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021},
  editor = {Raian Ali and Hermann Kaindl and Leszek A. Maciaszek},
  publisher = {SCITEPRESS},
  isbn = {978-989-758-508-1},
}