scientific article; zbMATH DE number 1951541

MaRDI QIDQ4413769zbMATH OpenFDO

Authors

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2599/25990170.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• Generating test sequences from a set of MSCs.
• An input language based on extended message sequence charts and used for test specification
• scientific article; zbMATH DE number 1728525
• scientific article; zbMATH DE number 2080069
• Multiple synchrony in MSC

Cited in

(7)

• Generating test sequences from a set of MSCs.
• Systems specification by basic protocols
• scientific article; zbMATH DE number 1629962 (Why is no real title available?)
• scientific article; zbMATH DE number 1729258 (Why is no real title available?)
• scientific article; zbMATH DE number 1956610 (Why is no real title available?)
• Multiple synchrony in MSC
• Formal Approaches to Software Testing

This page was built for publication:

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