×

Found 2 Documents (Results 1–2)

Local testing of message sequence charts is difficult. (English) Zbl 1135.68499

Csuhaj-Varjú, Erzsébet (ed.) et al., Fundamentals of computation theory. 16th international symposium, FCT 2007, Budapest, Hungary, August 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74239-5/pbk). Lecture Notes in Computer Science 4639, 76-87 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A fresh look at testing for asynchronous communication. (English) Zbl 1161.68349

Graf, Susanne (ed.) et al., Automated technology for verification and analysis. 4th international symposium, ATVA 2006, Beijing, China, October 23–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47237-7/pbk). Lecture Notes in Computer Science 4218, 369-383 (2006).
MSC:  68M15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field