HOUHOU Sara

Doctorante
Équipe : MoVe
Date d'arrivée : 01/04/2018
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 220
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 31 92, Sara.Houhou (at) nulllip6.fr
Direction de recherche : Pascal POIZAT

Vérification paramétrée et dérivation de code à partir de spécifications formelles pour les systèmes embarqués

 Mentions légales
Carte du site |