T. Jéron. TGV: principles, tool architecture and algorithms. Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, September 1998.
Thierry Jéron http://www.irisa.fr/prive/jeron
@Misc{Jeron-Dagstuhl98,
Author = {Jéron, T.},
Title = {TGV: principles, tool architecture and algorithms},
Howpublished = {Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice},
Month = {September},
Year = {1998}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |