On using finite state machines for optimization and testing of SDN controllers

by Berriri, A.
Published in Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.