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
  • №4 December 2019
    Submission deadline: 10 November 2019
  • №1 March 2020
    Submission deadline: 10 February 2020
  • №2 June 2020
    Submission deadline: 10 May 2020
Latest issues

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

Dynamic Analysis of ARM ELF Executable Code Using Static Binary Instrumentation

Conference «Tools & Methods of Program Analysis – 2015»
Ermakov M.K.
  • Year: 2016
  • Issue: 1
  • 199
  • 1152
  • Pages: 108-117

Survey on Formal Methods in Robotics

Conference «Tools & Methods of Program Analysis – 2015»
Mordvinov D.A. Litvinov Yu.V.
  • Year: 2016
  • Issue: 1
  • 434
  • 1542
  • Pages: 84-107