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 Litvinov Yury V.
Submit Your Paper
Publication schedule
  • №2 June 2023
  • №3 September 2023
  • №4 December 2023
Latest issues
Litvinov Yury V.

Survey on Formal Methods in Robotics

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

Conceptual representation of subject problems of search designing of the physical principle of action of sensitive elements of the control system

Conference "Technologies Microsoft in the theory and programming practice"
Kuzenkova A.S. Deripaska A.O. Taran K.S. Podkopaev A.V. Litvinov Yu.V. Bryksin T.A.
  • Year: 2011
  • Issue: 4
  • 0
  • 4037
  • Pages: 142-145