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.

Authors

Jean Philippe Favreau

This author has not been identified. Look up 'Jean Philippe Favreau' in Google

Richard J. Linn Jr.

This author has not been identified. Look up 'Richard J. Linn Jr.' in Google

Philip Gaudette

This author has not been identified. Look up 'Philip Gaudette' in Google