Titre du sujet de thèse

Méthodes formelles pour les systèmes réactifs, applications au live-coding

Thesis title

Formal methods for reactive systems, applications to live-coding

Description du sujet de thèse / Full thesis description

Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
LAHAYE Sébastien

LHOMMEAU Mehdi
Automatique, Productique et Robotique Financement propre à l'établissement (50 % , Demande en cours)
Autre (50 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
LARIS, EA 7315 Laboratoire Angevin de Recherche en Ingénierie des Systèmes (LARIS)

Télécharger les descriptions complètes : Français : PhD Subject_Méthodes formelles pour les systèmes réactifs, applications au live-coding _ 2021_FR.pdf

Candidatures closes depuis le / Candidates closed since : 30/6/2021