-
Selection by year
-
Selection by authors
-
Complete lists
Jeron-FEMSYS99
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.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
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)