Table des matières

• 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