-
Selection by year
-
Selection by authors
-
Complete lists
Jeron-Jard-Viho-Caillaud-Kahlouche-Morel-Fernandez-Kerbrat-Bozga-REE99
T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, M. Bozga. Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV. Revue de l'Electricité et de l'Eléctronique (REE), 3, March 1999.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
BibTex Reference
@article{Jeron-Jard-Viho-Caillaud-Kahlouche-Morel-Fernandez-Kerbrat-Bozga-REE99,
Author = {Jéron, T. and Jard, C. and Viho, C. and Caillaud, B. and Kahlouche, H. and Morel, P. and Fernandez, J.-C. and Kerbrat, A. and Bozga, M.},
Title = {Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV},
Journal = {Revue de l'Electricité et de l'Eléctronique (REE)},
Volume = {3},
Month = {March},
Year = {1999}
}
EndNote Reference [help]
Get EndNote Reference (.ref)