T. Jéron. La génération de tests pour les protocoles à l'aide de la technologie de la vérification. In Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, June 1996.
Thierry Jéron http://www.irisa.fr/prive/jeron
@InProceedings{Jeron-TESTING96,
Author = {Jéron, T.},
Title = {La génération de tests pour les protocoles à l'aide de la technologie de la vérification},
BookTitle = {Conférence Software Testing'96},
Address = {Paris, Club Génie Logiciel SEE},
Month = {June},
Year = {1996}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |