 | Aide à l'implantation d'applications temps-réel sur machines parallèles |
| Analyse de performance de réseaux de télécommunications par système expert |
| Guide de diagnostic pour la détection sonore de corps migrants dans un circuit pressurisé |
| Utilisations de la programmation par contraintes en vérification formelle de protocoles |
| Méthodologie de conception de circuits en micro-électronique pour une réduction des pics de rayonnement |
| Analyse et modélisation combinatoire de problèmes d'optimisation en tarification aérienne |
| Représentation et interprétation à haut niveau de règles de configuration pour équipements à nomenclatures multi-niveaux avec options et variantes |
| Clés pour la transmission des connaissances du contrôle-commande d'installations à longue durée de vie |
| Mise en évidence de contraintes d'exclusion entre modes opératoires pour l'amélioration de la conduite des procédés |
