Le moteur de recherche
des thèses françaises
Jean-Charles Chaudemar
IdRefMots clés
FR |
EN
Modélisation
Aide à la décision
Ingénierie des processus
Optimisation
Maîtrise des risques
Incertitude
Gestion du risque
Industrie aéronautique
Méthode formelle
Event-B
Raffinement
Architectures tolérantes aux fautes
Sécurité
Architecture des réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles (informatique)
Analyse
Conception
Interopérabilité
Drones