Popesko U V

Publications in Math-Net.Ru

1. Uppaal-based verification of software-defined networks
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  169–179