|
Sa vocation est l'élaboration de modèles, de méthodes et d'outils pour l'informatique de conception (CAO), de calcul (méthodes numériques de simulation physique), ou de contrôle-commande (informatique temps réel). Des méthodes de spécifications formelles et des interfaces graphiques sont développées pour améliorer la fiabilité et/ou l'ergonomie des systèmes étudiés.
|