Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Hakim Belhaouari

Hakim Belhaouari

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Une approche intégrée pour la conception par contrat : vérification statique / dynamique et génération automatique de test

Directed Thesis:

Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D
Modélisation et simulation à base de règles pour la simulation physique