Sujet de Thèse Indifférent
Université Grenoble Alpes Thèse
Grenoble cedex 9 , France
cf. summary in english.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ...
Indifférent
analyse de programmes, exécution symbolique, cyber-sécurité, preuve, méthodes formelles
program analysis, formal methods, symbolic execution, program proofs, cybersecurity
program analysis, formal methods, symbolic execution, program proofs, cybersecurity
Ref. ABG-125808
14/09/2024
Sujet de Thèse
Les autres offres Sujet de Thèse
Les autres offres Indifférent
Vous souhaitez recevoir nos infolettres ?
Découvrez nos adhérents
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège 
Tecknowmetrix 
SUEZ 
TotalEnergies 
Nokia Bell Labs France 
ONERA - The French Aerospace Lab 
Servier 
Laboratoire National de Métrologie et d'Essais - LNE 
Généthon 
Nantes Université 
Institut Sup'biotech de Paris 
Ifremer 
ADEME 
Aérocentre, Pôle d'excellence régional 
ANRT 
Groupe AFNOR - Association française de normalisation 
Medicen Paris Region