Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / FAHIM RAHIM

FAHIM RAHIM

at_id:

orcid_id:

Disciplines:

Applied sciences
Edit Merge See Links

Thesis:

Techniques symboliques pour la reduction des automates d'etats finis et application a la verification formelle modulaire et l'optimisation de circuits sequentiels vlsi complexes