This is the web site of Aline Fahrenberg.
Travail d'étude et de recherche (TER), Master 1 MEEF PIF RED: La transposition didactique du sens « quotient » pris par la fraction, en France et dans quelques pays européens
Mémoire de recherche, Master 2 MEEF PIF RED: Les apports d'une initiation à l'algèbre pour introduire le sens « quotient » de la fraction
In progress...
Une approche générique à la vérification quantitative
La vérifiation formelle pour assurer la sureté des systèmes cyber-physiques