Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Author Podymov Vladislav V.
Submit Your Paper
Publication schedule
  • №2 June 2025
  • №3 September 2025
  • №4 December 2025
Latest issues
Podymov Vladislav V.

VERMONT – a Toolset for Verification of Software Defined Networks

Conference «Tools & Methods of Program Analysis – 2014»
Zakharov V.A. Altukhov V.S. Podymov V.V. Chemeritskiy E.V.
  • Year: 2015
  • Issue: 1
  • 316
  • 7000
  • Pages: 74-87

UPPAAL-based verification of software-defined networks

Conference «Tools & Methods of Program Analysis – 2013»
Podymov V.V. Popesko U.V.
  • Year: 2014
  • Issue: 2
  • 465
  • 7397
  • Pages: 169-179