Open AccessOverview of modern applied methods and means of verification of real-time systems
Author(s) -
A.I Martyshkin,
AUTHOR_ID,
V.V Kuzina,
AUTHOR_ID
Publication year - 2021
Publication title -
sovremennye informacionnye tehnologii
Language(s) - English
Resource type - Journals
ISSN - 1815-2724
DOI - 10.46548/cit-2021-0034-0003
Subject(s) - computer science , systems engineering , engineering