tCJ-RN6

C. Jard et JC. Fernandez T. Jeron. Generation automatique de tests pour les protocoles : l'exemple de l'approche formelle de TGV. Revue Electronique et Electricite, 1999.

Keyword

[ Monitoring ]

BibTex Reference

@article{tCJ-RN6,
   Author = {T. Jeron, C. Jard et JC. Fernandez},
   Title = {Generation automatique de tests pour les protocoles : l'exemple de    l'approche formelle de {TGV}},
   Journal = {Revue Electronique et Electricite},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)