SPbPU Journal. Computer Science. Telecommunication and Control Systems
St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control Systems Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2304-9766
ISSN online 2618-8694
en Английский
Version for the visually impaired
Publication schedule
  • №2 June 2019
    Submission deadline: 10 May 2019
  • №3 September 2019
    Submission deadline: 10 July 2019
  • №4 December 2019
    Submission deadline: 10 November 2019
Latest issues

Articles from section "Conference «Tools & Methods of Program Analysis – 2014»"

Integration Testing Automation: Case Study of Financial Data Exchange Modules Based on FIX-protocol

Conference «Tools & Methods of Program Analysis – 2014»
Brekelov V.V. Borisov E.A. Barygin I.A.
  • Year: 2015
  • Issue: 1
  • 293
  • 1148
  • Pages: 88-96

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

A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code

Conference «Tools & Methods of Program Analysis – 2014»
Smolov S.A. Kamkin A.S.
  • Year: 2015
  • Issue: 1
  • 259
  • 1143
  • Pages: 60-73