Parcours Systèmes logiciels

N9EN11 - Systèmes répartis et sécurité

• N9EN11A - Systèmes et algorithmes répartis

• N9EN 11B - Calcul Parallèle

• N9EN11C - Sécurité et informatique légale

N9EN12 - Raffinement et méthodes formelles

N9EN13 - Interfaces d'accès à l'information

• N9EN13A - Web sémantique

• N9EN13B - Recherche d'information

• N9EN13C - IHM (Interface Homme Machine)

• N9EN13D - Sûreté de fonctionnement