Alain Vailly

According to our database, Alain Vailly authored at least 3 papers between 1995 and 1998.

Collaborative distances:

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

1998

Paraphrase d'une spécification formelle B, un premier essai.

Djenabou Diallo, Alain Vailly

Netw. Inf. Syst. J., 1998

1997

Paraphrasage d'une spécification formelle B, un premier essai.

Djenabou Diallo, Alain Vailly

Proceedings of the Actes du XVème Congrès INFORSID, Toulouse, France, 10-13 juin, 1997, 1997

1995

Diachronie et synchronie en spécification, une illustration en Z.

Henri Habrias, Pascal Bernard, Alain Vailly

Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995