Le moteur de recherche
des thèses françaises
Emmanuel Ledinot
IdRefMots clés
FR |
EN
Assistant de preuve
Alliage d’aluminium
Solution solide
Électrode « tranche »
Mesure de pH de surface
Inhibition
Passivation
Capteur de corrosion
Aluminium -- Alliages
Inhibiteurs
Passivité (chimie)
Capteurs (technologie)
Corrosion
Vérification formell
Méthodes formelles
Preuve de programme
Extraction
Analyse de code
Coq, C
Logiciels -- Vérification