Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Wendelin Bernhard Serwe

Wendelin Bernhard Serwe

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Etude de la programmation logico-fonctionnelle concurrente

Directed Thesis:

Formal methods for functional verification of cache-coherent systems-on-chip
Vers la prédiction de performance de modèles compositionnels dans les architectures GALS