Combination of conformance and interoperability testing

Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka. Combination of conformance and interoperability testing. In Michel Diaz, Roland Groz, editors, Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 92, Perros-Guirec, France, 13-16 October 1992. Volume C-10 of IFIP Transactions, pages 397-412, North-Holland, 1992.

Abstract

Abstract is missing.