Next:
Table des matières
Sujets the thèses proposés par le projet
Pampa
pour la rentrée 2000
Table des matières
Méthodes de réalisation répartie de spécifications partielles de systèmes réactifs dans le langage BDL
Langages de scénarios et synthèse de contrôleurs
Génération de tests avec des modèles de vrai parallélisme
Synthèse de contrôleurs et génération de tests
Assemblage testable et validation de composants
Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données
Test d'inter-opérabilité et de QoS de protocoles IP nouvelle génération
