T. Jéron, Efficient automatic generation of conformance test suites for protocols and reactive systems, Workshop on Formal Methods for Safety Critical Systems, Munich, Germany, March 1999.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@Misc{Jeron-FEMSYS99,
   Author = {Jéron, T.},
   Title = {Efficient automatic generation of conformance test suites for protocols and reactive systems},
   Howpublished = {Workshop on Formal Methods for Safety Critical Systems, Munich, Germany},
   Month = {March},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.