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
Nikiforov Igor V.
Submit Your Paper
Publication schedule
№3 September 2024
№4 December 2024
Latest issues
2024
,
Volume 17
Issue 1
2023
,
Volume 16
Issue 4
Full text
2023
,
Volume 16
Issue 3
Full text
2023
,
Volume 16
Issue 2
Full text
Nikiforov Igor V.
decodeDefault
Approach to concurrent systems testing based on UCM specification
Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D.
Nikiforov I.V.
Voinov N.V.
Kotlyarov V,P.
Year: 2014
Issue: 3
287
5751
Pages: 85-91
Formal models structurization based technique of complex software projects testing
Microsoft Сonference
Drobintsev P.D.
Nikiforov I.V.
Kotlyarov V,P.
Year: 2013
Issue: 3
747
6339
Pages: 99-104
Integrated criteria of software requirement checking
Microsoft Сonference
Nikiforov I.V.
Drobintsev P.D.
Kotlyarov V,P.
Year: 2013
Issue: 3
608
6415
Pages: 111-117
Restrictions on concurrent construction and time delays of UCM language
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Kotlyarov V,P.
Drobintsev P.D.
Year: 2013
Issue: 3
534
6425
Pages: 148-153
Static approach for debugging of test scenarious generated with usage of heuristics.
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Petrov A.V.
Kotlyarov V,P.
Year: 2012
Issue: 4
0
5631
Pages: 114-119
Elaboration of the toolsuite for automation of the static and dynamic software requirement checking
Conference "Technologies Microsoft in the theory and programming practice"
Tyutin B.V.
Nikiforov I.V.
Kotlyarov V,P.
Year: 2012
Issue: 4
0
5451
Pages: 119-123
Usage of formalization approaches for creation of system models from ucm-specification
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Petrov A.V.
Yusupov Yu.V.
Kotlyarov V,P.
Year: 2011
Issue: 3
0
5438
Pages: 180-184
Generation of formal model of a sysmem from requirements specified in Use Case Map
Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V.
Petrov A.V.
Yusupov Yu.V.
Year: 2010
Issue: 4
1
5360
Pages: 191-195
Technique for automating charging of an electric vehicle based on a Raspberry Pi controller using neural networks
Intellectual Systems and Technologies
Vlasenko N.A.
Dusaeva A.I.
Nikiforov I.V.
Prelovskii D.S.
Year: 2022
Volume: 15
Issue: 4
36
1949
Pages: 37-50