Languages for analysis and testing of event sequences

MaRDI QIDQ2760876zbMATH OpenFDO

Authors Andreas Gerhardus Engels

Publication date 13 December 2001

zbMATH Keywords

formal languages

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1307655
• scientific article; zbMATH DE number 1670862
• An input language based on extended message sequence charts and used for test specification
• The theory of message sequence charts
• scientific article; zbMATH DE number 1728525

Cited in

(1)

• An input language based on extended message sequence charts and used for test specification

This page was built for publication: Languages for analysis and testing of event sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760876)