On conformance testing of non-deterministic systems

DOI10.1080/00207160108805050zbMath0976.68011OpenAlexW2056172360MaRDI QIDQ2731077

Yong-Mei Liu, Xiaoyu Song, Xinming Ye, Jiantao Zhou

Publication date: 29 July 2001

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160108805050

zbMATH Keywords

non-deterministic labeled transition systems

Mathematics Subject Classification ID

Network protocols (68M12)

Cites Work

• A fault-detection approach to the conformance testing of nondeterministic systems