Master internship: Formal methods for component-based distributed systems reconfiguration -
This position is no longer available
Global information
Start: ASAP
Supervision: Hélène Coullon, IMT Atlantique, Inria and Frédéric Loulergue, Université d’Orléans