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 2024
  • №1 March 2025
  • №2 June 2025
  • №3 September 2025

Articles by keywords "formal notation"

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
  • 5901
  • Pages: 119-123

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
  • 5944
  • Pages: 109-114