Application of Formal Description Techniques to Conformance Evaluation.

Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette

Browse the full FORTE paper archive.