Anne-Lise Courbis
Mots clés
FR |
EN
Modèles mathématiques
Vérification
Circuits intégrés numériques
Circuits intégrés à grande échelle
Essais (technologie)
Intelligence artificielle
Arbres (théorie des graphes)
Ingénierie des besoins et des exigences
Ingénierie Système
Modélisation d'entreprise
Systèmes d’Information d’Entreprise
Ingénierie des exigences
Intégration des systèmes (ingénierie)
Entreprises
Uml
Machines d'états
Développement incrémental
Systèmes critiques
Assemblage de composants
UML (informatique)