The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language
-
Published:2020-12-01
Issue:53
Volume:
Page:118-126
-
ISSN:1998-8605
-
Container-title:Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika
-
language:
-
Short-container-title:Tomsk State University Journal of Control and Computer Science
Author:
Nepomniaschy Valery A., ,Bodin Evgeniy V.,Veretnov Sergey O.
Publisher
Tomsk State University
Subject
Computer Networks and Communications,Computer Science Applications,Information Systems