Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
  • en Русский
Version for the visually impaired
  • About the journal
  • Editorial board
  • All issues
  • Guide for Authors
    • Menu
    • Submission contents and structure
    • Formatting guidelines
    • Submission
    • Peer review
    • References
    • Article abstract
    • Lisence Agreement
  • Publication ethics
  • Journal metrics
  • News
  • Contact us
Author Podymov Vladislav V.
Submit Your Paper
Publication schedule
  • №1 March 2023
  • №2 June 2023
  • №3 September 2023
  • №4 December 2023
Latest issues
  • 2022, Volume 15 Issue 4 Full text
  • 2022, Volume 15 Issue 3 Full text
  • 2022, Volume 15 Issue 2 Full text
  • 2022, Volume 15 Issue 1 Full text
Podymov Vladislav V.
  • decodeDefault

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
  • 4268
  • 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
  • 462
  • 4774
  • Pages: 169-179
Computing, Telecommunication and Control

Site development: DoAIT, Media Center of SPbPU

Privacy policy

Contact Us
  • decodeText
  • decodeDefault