Tests interactifs d’applications Java Card
Ludovic Henrio (X 96)
Avant-projet OASIS
INRIA Sophia-Antipolis
1 - Présentation de Java Card.
2 - Environnement existant.
3 - Contribution : tests interactifs.
4 - Analyse de code et structure extraite.
5 - Conclusion.
Diapositive suivante
Revenir à la première diapositive
Afficher la version graphique