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

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
  • 5473
  • 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
  • 6039
  • 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
  • 6115
  • 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
  • 6114
  • 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
  • 5324
  • 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
  • 5153
  • 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
  • 5130
  • 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
  • 5045
  • 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
  • 1633
  • Pages: 37-50