A formal approach to protocol interoperability testing

DOI10.1007/BF02946617zbMath0893.68040OpenAlexW2060551502MaRDI QIDQ1383470

Ruibing Hao, Jian-Ping Wu

Publication date: 3 August 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946617

zbMATH Keywords

interoperability testing systemprotocol interoperability testing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

This page was built for publication: A formal approach to protocol interoperability testing