Jump to : Contact | BibTex reference | EndNote reference |

jeron04c

T. Jéron. Contribution à la génération automatique de tests pour les systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, March 2004.

Contact

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

BibTex Reference

@PhdThesis{jeron04c,
   Author = {Jéron, T.},
   Title = {Contribution à la génération automatique de tests pour les systèmes réactifs},
   School = {Université de Rennes 1},
   Month = {March},
   Year = {2004}
   type = {Habilitation à diriger les recherches},
}

EndNote Reference [help]

Get EndNote Reference (.ref)

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