The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language
Nepomniaschy, Valery A., Bodin, Evgeniy V., Veretnov, Sergey O.
Published in Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika (01.12.2020)
Published in Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika (01.12.2020)
Get full text
Journal Article