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
Submit Your Paper
Publication schedule
№3 September 2023
№4 December 2023
Articles by keywords "formal verification"
Verification of requirements for reactive systems
Conference "Technologies Microsoft in the theory and programming practice"
Ivanov А.S.
Kotlyarov V,P.
Letichevsky A.A.
Year: 2012
Issue: 4
0
4505
Pages: 109-114
Formal verification for a C0 implementation of the heapsort algorithm
Computer Systems and Software
Kovalev M.S.
Dalinger I.M.
Myagotin A.V.
Year: 2010
Issue: 4
0
4569
Pages: 83-92
Survey on Formal Methods in Robotics
Conference «Tools & Methods of Program Analysis – 2015»
Mordvinov D.A.
Litvinov Yu.V.
Year: 2016
Issue: 1
439
5369
Pages: 84-107