Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    Submit Your Paper
    Publication schedule
    • №4 December 2026
    • №1 March 2027
    • №2 June 2027

    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
    • 2
    • 8967
    • 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
    • 2
    • 9229
    • 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
    • 36
    • 9584
    • Pages: 51-69