-
Selection by year
-
Selection by authors
-
Complete lists
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)