Thèses en cours


Co-Verification of Parametric Timed Automata and Event-B Models
GWEUGNA Gibris
Directeur(s) : PETRUCCI Laure, MALLET Frédéric
Date debut : 2025

Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
Directeur(s) : ANDRE Etienne, PETRUCCI Laure
Date debut : 2025

Thèses soutenues


Retour vers le haut
kevin james weight loss the diet and workou fn15i | the secret behind chrissy metz s weight loss cv8ik | kirsten storms weight loss journey the diet and exercise ju4ah | how much apple cider vinegar should you drink dail thdgi | jessica simpson s secret to stunning weight loss qsr7k | kelly clarkson s weight loss success 40 poun apo8k | what do you mix with apple cider vinegar to lose weight secre gzai0 | lainey wilson s 2025 weight loss plan your pa i07j5 | kelly clarkson weight loss gummies how they help jbhec | how kirsten storms lost 30 pounds the diet and workouts be iegya | the secret to successful weight loss with ke gvtdi | randy jackson weight loss 4 key changes that hel nbdof | losing weight after 50 the ultimate guide to tra rqshd |