Yannick Valot

According to our database, Yannick Valot authored at least 2 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Validation and automatic test generation on UML models: the AGATHA approach.

David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier

Int. J. Softw. Tools Technol. Transf., 2004

2002

Validation and automatic test generation on UML models: the AGATHA approach.

David Lugato, Céline Bigot, Yannick Valot

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002