Profile
(Only available in English at the moment)
Relation entre sûreté de fonctionnement et interférences temporelles sur multi-cœurs COTS
Encadrement: Julien Brunel, Claire Pagetti
Analyse statique de VHDL à base de logique temporelle
Encadrement: Julien Brunel, Youcef Bouchebaba
