https://pages.lip6.fr/Pascal.Poizat

POIZAT Pascal

Photo Professeur
Équipe : MoVe
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 209
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 53 03, Pascal.Poizat (at) nulllip6.fr
https://pages.lip6.fr/Pascal.Poizat

1 Doctorante (Direction de recherche / Co-encadrement)

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

Publications 2013-2019

 Mentions légales
Carte du site |