Frédéric Boulanger
Mots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)
Simulation
Systèmes complexes
Simulation, Méthodes de
Modélisation
Vérification formelle
IDM
Modèles hétérogènes
SysML (informatique)
Simulation par ordinateur
Réseaux électriques intelligents
Langages de programmation -- Sémantique
UML
UML (informatique)
Génie logiciel
SysML
Modèles mathématiques
Co-simulation
FMI