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
Submit Your Paper
Publication schedule
  • №4 December 2023
  • №1 March 2024
  • №2 June 2024
  • №3 September 2024

Articles by keywords "formal model"

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
  • 5057
  • Pages: 85-91

Developing and application of computer program studio for dynamic cognitive images creation

Computer Systems and Software
Novoselov. Yu.V.
  • Year: 2010
  • Issue: 2
  • 0
  • 4582
  • Pages: 112-116