Nicole Lévy
IdRefMots clés
FR |
EN
Vérification
Langages de programmation
Ingénierie dirigée par les modèles
Base de connaissance
Vlc
Véhicules autonomes
Régles logiques
Drones
Télécommunications optiques
Systèmes experts (informatique)
Méthodes formelles
Méthodes formelles (informatique)
Uml
Machines d'états
Développement incrémental
Systèmes critiques
Assemblage de composants
UML (informatique)
Vérification de modèles (informatique)
Système cyber-Physique