OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
From MaRDI portal
Publication:1856197
DOI10.1007/s100090050011zbMath1060.68578MaRDI QIDQ1856197
Publication date: 1997
Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s100090050011
model validation; model simulation; MSC; SDL; behavioral property; engineering of distributed systems; OMT
Uses Software