Jump to : Contact | BibTex reference | EndNote reference |

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)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs