C. Jard, T. Jéron, J.-C. Fernandez. Etat de l'art, outils existants et spécification de l'outil. Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, August 1998.
Thierry Jéron http://www.irisa.fr/prive/jeron
@Misc{F1-Verilog-98,
Author = {Jard, C. and Jéron, T. and Fernandez, J.-C.},
Title = {Etat de l'art, outils existants et spécification de l'outil},
Howpublished = {Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests},
Month = {August},
Year = {1998}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |