Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Catalin Dima

Catalin Dima

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Théorie algébrique des langages formels temps réel

Directed Thesis:

Synthesis of Interactive Reactive Systems
Vérification de spécifications EB-3 à l'aide de techniques de model-checking