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.

@inproceedings{FavreauLG88,
  title = {Application of Formal Description Techniques to Conformance Evaluation},
  author = {Jean Philippe Favreau and Richard J. Linn Jr. and Philip Gaudette},
  year = {1988},
  researchr = {https://researchr.org/publication/FavreauLG88},
  cites = {0},
  citedby = {0},
  pages = {295-309},
  booktitle = {Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988},
  editor = {Kenneth J. Turner},
  publisher = {North-Holland},
  isbn = {0-444-87126-8},
}