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
Avions -- Conception et construction
Analyse
Optimisation
Fiabilité
Ingénierie Système
Drones
Traitement réparti
SysML
Temps réel (informatique)
UML (informatique)
Systèmes embarqués
Idm
Aide à la décision
Ingénierie des processus
Modélisation
Maîtrise des risques