Morgane Estiévenart
Original record- Institution
- Université de Mons
- Year
- 2015
- Country
- Belgium
- MGP identifier
- 197265
Dissertation: Verification and synthesis of MITL through alternating timed automata
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Gilles GeeraertsUniversité Libre de Bruxelles · 2007
- Thomas BrihayeUniversité de Mons-Hainaut · 2006
Students 0
No students recorded in this snapshot.