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
  • №2 June 2023
  • №3 September 2023
  • №4 December 2023

Articles by keywords "semantics"

Requirement coverage criteria for test cases generated from applications’ behavioral models

Information Systems and Software Engineering
Kotlyarov V,P.
  • Year: 2011
  • Issue: 6
  • 0
  • 4198
  • Pages: 202-207

Definition of domain-specific languages by interpreted automata

Computer Systems and Software
Novikov F.A. Tikhonova U.N.
  • Year: 2008
  • Issue: 5
  • 0
  • 4148
  • Pages: 93-98

On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model

Software of Computer, Telecommunications and Control Systems
Podkopaev A.V. Lahav O. Vafeiadis V.
  • Year: 2017
  • Volume: 10
  • Issue: 4
  • 34
  • 4452
  • Pages: 51-69