Le moteur de recherche
des thèses françaises
Temur Kutsia
IdRefMots clés
FR |
EN
Réécriture
Matrices de MEMS
Micro-miroirs
Modélisation asymptotique
Simulation
Convergence à deux échelles
Couches limites
Calcul symbolique
Modélisation multi-échelle
MEMS
Électromécanique
Systèmes microélectromécaniques
Simulation par ordinateur
Théorie des types dépendants
Logical frameworks
Typage bidirectionnel
Interopérabilité des systèmes de preuve
Théorie des types