Publications de
Ousmane Koné, Richard Castanet
Test generation for interworking systems
Dans : Computer Communications, Elsevier Science, Vol. 23, p. 642-652, 2000.
Ousmane Koné, Richard Castanet
Méthodes formelles de test de conformité de protocoles
Dans : Technique et science informatiques, Hermes, Vol. 5, p. 1-35, 1999.
Richard Castanet, Ousmane Koné, Patrice Laurençot
Génération de séquences de test temporisé
Dans : Ecole d’Eté Temps Réel. (Eds.) , CNRS EDITIONS, p. 204-215, 1997.