×

Found 5 Documents (Results 1–5)

Reducing the lengths of checking sequences by overlapping. (English) Zbl 1185.68099

Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 274-288 (2006).
MSC:  68M15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Resolving observability problems in distributed test architectures. (English) Zbl 1169.68338

Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 219-232 (2005).
MSC:  68M15 68M14 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field