LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

HOUHOU Sara

Nghiên cứu sinh
Nhóm nghiên cứu : MoVe
Ngày đến : 01-04-2018
Địa chỉ : 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
    FRANCE
Tel: +33 1 44 27 31 92, Sara.Houhou (at) nulllip6.fr
Ban lãnh đạo nghiên cứu : Pascal POIZAT

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

Bài báo khoa học 2019

 Mentions légales
Sơ đồ site |