An input language based on extended message sequence charts and used for test specification
From MaRDI portal
Publication:557468
DOI10.1023/B:CASA.0000028098.13611.a2zbMath1081.68582MaRDI QIDQ557468
V. P. Kotlyarov, V. A. Sukhomlinov
Publication date: 30 June 2005
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
68N99: Theory of software