Search
Computing, Telecommunications and Control
Computing, Telecommunications and Control
Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
Английский
Русский
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
Litvinov Yury 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
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
438
4678
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
3717
Pages: 142-145