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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.