Knowledge Tree

researcher / Cécile Braunstein

Cécile Braunstein

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Conception incrémentale, vérification de composants matériels et méthode d'abstraction pour la vérification de systèmes intégrés sur puce