Implementation of the conformation of MSC and SDL diagrams in the REAL technology

DOI10.1134/S0361768807010045zbMath1120.68395MaRDI QIDQ2371555

Yanyan Li

Publication date: 5 July 2007

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

68W05: Nonnumerical algorithms

68N99: Theory of software

Uses Software

• RTST++
• Klocwork

Cites Work

• LSCs: Breathing life into message sequence charts