Titre du sujet de thèse

Systèmes cyber-physiques : vérification et renforcement de la sécurité, conditions de sûreté et vivacité

Thesis title

Cyber-Physical systems : verification and enforcement of security, safety and liveness requirements

Description du sujet de thèse / Full thesis description

Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Mehdi Lhommeau

Sébastien Lahaye
Automatique, Productique et Robotique
Informatique

Mathématiques et leurs Interactions
Contrat Doctoral d’Établissement (ex bourse MESR) (100 % , 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_Cyber-Physical systems_verification and enforcement of security, safety and liveness requirements_ 2021_FRENCH.pdf
English : PhD Subject_Cyber-Physical systems_verification and enforcement of security, safety and liveness requirements_ 2021_EN.pdf

Candidatures closes depuis le / Candidates closed since : 24/4/2021