T. Jéron, H. Kahlouche, P. Morel. Document de spécification des algorithmes de TGV. Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, 1999.
Thierry Jéron http://www.irisa.fr/prive/jeron
@Misc{F1-Verilog-99,
Author = {Jéron, T. and Kahlouche, H. and Morel, P.},
Title = {Document de spécification des algorithmes de {TGV}},
Howpublished = {Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests},
Year = {1999}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |