Application of Formal Description Techniques to Conformance Evaluation

Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette. Application of Formal Description Techniques to Conformance Evaluation. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 295-309, North-Holland, 1988.

Abstract

Abstract is missing.