Pierre de Saqui-Sannes
Mots clés
FR |
EN
Ingénierie des systèmes
Vérification formelle
Systèmes embarqués (informatique)
Ingénierie système
Construction aéronautique
Analyse
Optimisation
Fiabilité
Ingénierie Système
Drones
Traitement réparti
SysML
Temps réel (informatique)
UML (informatique)
Systèmes embarqués
Idm
Mbse
Ingénierie dirigée par les modèles
Aide à la décision
Ingénierie des processus