2004 | ||
---|---|---|
2 | EE | David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier: Validation and automatic test generation on UML models: the AGATHA approach. STTT 5(2-3): 124-139 (2004) |
2002 | ||
1 | EE | David Lugato, Céline Bigot, Yannick Valot: Validation and automatic test generation on UML models: the AGATHA approach. Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
1 | Céline Bigot | [1] [2] |
2 | Jean-Pierre Gallois | [2] |
3 | Sébastien Gérard (Sebastien Gerard) | [2] |
4 | David Lugato | [1] [2] |
5 | François Terrier | [2] |