T. Jéron. Génération automatique de séquences tests par la technologie de la vérification. In Conférence invitée, Ecole d'été MOVEP, Nantes, June 1996.
Thierry Jéron http://www.irisa.fr/prive/jeron
@InProceedings{Jeron-MOVEP96,
Author = {Jéron, T.},
Title = {Génération automatique de séquences tests par la technologie de la vérification},
BookTitle = {Conférence invitée, Ecole d'été MOVEP},
Address = {Nantes},
Month = {June},
Year = {1996}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |