Où docteurs et entreprises se rencontrent
Menu
Connexion

Sujet de Thèse Indifférent

INERIS Thèse
VERNEUIL EN HALATTE , Les Hauts de France , France
CONTEXTE ET OBJECTIFS DE LA THÈSE La demande croissante de stockage d'hydrogène à grande échelle pour soutenir la transition énergétique nécessite des solutions innovantes de stockage souterrain. ...
Indifférent
Ref. ABG-132731
01/07/2025
Sujet de Thèse
Contrat doctoral
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
Ref. ABG-125808
14/09/2024
Sujet de Thèse