Next: Troisième année.
Up: B3 - Résultats attendus
Previous: Première année.
L'objectif est de pouvoir analyser des logiciels combinant les aspects
dynamiques suivants :
- Multi-threading et appels de procédure/méthodes sans paramètres.
- Multi-threading et structure de données dynamiques.
Radu Iosif
2003-09-20