Recherche
-
Méthodes de décomposition de domaine algébriques pour solveurs hybrides (direct/itératif)
(Bordeaux, 2018-11-28)Thèses de doctorat -
Afficheurs cylindriques à changement de forme : application à la physicalisation des données et l'interaction périphérique pour la maîtrise de l'énergie
(Bordeaux, 2018-11-19)Thèses de doctorat -
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
Communication dans un congrès -
PLoS One
(PLoS ONE. vol. 13, n° 11, pp. e0208037, 2018)Article de revue