Jump to : Contact | BibTex reference | EndNote reference |

Jard-Jeron-FM99

C. Jard, T. Jéron. Test Generation for Reactive Systems. FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods, September 1999.

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@Misc{Jard-Jeron-FM99,
   Author = {Jard, C. and Jéron, T.},
   Title = {Test Generation for Reactive Systems},
   Howpublished = {FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods},
   Month = {September},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

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