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 Vladimir A. Zakharov
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
Vladimir A. Zakharov
Vladimir A. Zakharov

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
  • 7566
  • Pages: 74-87